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
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.