Work around a bug in libc++'s basic_istream::ignore().
Work around an obscure bug of the unpickler on Mac OS.

This work around prevents the boot unpickler to be used with
arbitrary streams. Only file streams are supported. So this is
not a good fix on the long run.

Eventually, we should figure out what the real issue was, and
revert this commit with a proper fix.
Fetch oz.date from cmake.
Fixed bug in System.printName.

Obviously, I had not understood it before.
Fixed mozart#14: Browser does not display 'nil'.
Fixed bug in OS.exec on Windows.
Merge branch 'master' into css