2017-03-21 Stefano Zacchiroli <zack@upsilon.cc>
* ALL release 0.9
* Build: remove spurious dependencies on no longer used camlp4
* Makefile: fix build issues on Windows
* Cudf: performance improvement by allocating larger hashtbl
* Cudf: expose empty_universe
(Thanks to Pietro Abate for the above 2 patches)
* Makefile: inhibit parallel build (thanks to Roberto Di Cosmo)
* Cudf_parser: prevent in_channel leaks when using from_file
ocaml.mk. It was becoming more trouble than it was worth: only a minority
of packages used it, and it only made Makefiles more confusing.
(I've left out some packages: these will be updated forthwith)
Problems found locating distfiles:
Package colorls: missing distfile ls.tar.gz
Package molden: missing distfile molden-4.6/molden4.6.tar.gz
Package softmaker-office-demo: missing distfile ofl06trial.tgz
Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden). All existing
SHA1 digests retained for now as an audit trail.
