New MINOR release 01.02.00 Changes since 01.01.00: - link against libgul, now required by DOOCS - make real assertion to help debugging instead of exit(1) - make tests more robust when running e.g. under high load - some improvements to the build environment