[polyml] Poly/ML version 4.2.0

I've now fully released the new version of Poly/ML. I've upped the version number to 4.2.0 for the release but it is essentially version 4.1.4 with a very few changes. This is now the official release on the Poly/ML website.

I've created an installation for Windows but I haven't attempted to created binary installations for any other operating system. Since Poly/ML is now under LGPL it should be possible to package it in with the individual operating system distributions. If anyone does make a binary distribution could they let me know so that I can put a reference to it on the downloads page and if appropriate include a copy on the sourceforge site.

David.