Log Message:
Update to Poly/ML 5.4.1

Changes in Poly/ML Version 5.4

Major New Features

 * Major rewrite of the X86 code-generator and combining the 32 and
   64-bit versions into a single module. It now supports the floating
   point instructions.
 * Changes to the way functions with polymorphic equality are
   handled to eliminate the "structural equality" code.
 * Uses the GMP library if that is available when Poly/ML is
   built otherwise falls back to the old Poly/ML code.

Minor Additions and Changes

 * Added a SingleAssignment structure
 * Support for the Itanium processor using the interpreted version.
 * Various bug fixes.