[polyml] Poly/ML version 5

I have updated the web site to release version 5 officially. There is a source package available at http://sourceforge.net/project/showfiles.php?group_id=148318 .

Thank you everyone who provided feedback during the beta test phase.

If anyone wants to make binary distributions that would be very welcome. I am hoping that will be easier now that it uses autoconf, and of course now it is licensed under LGPL. Please post a message to this list if you make a distribution so that I and other people know about it. I'm hoping to produce a Windows binary shortly.

Bug fixes and other updates will continue to be made to the CVS version and will be incorporated into the next release when it happens.

David.