Poly/ML version 5.6 release

@dcjm dcjm released this Jan 25, 2016 · 1228 commits to master since this release

Poly/ML 5.6

Major Changes

New foreign-function interface (Foreign structure).
Reimplemented debugger so that code with debugging enabled is much faster.
Improved support for Poly/ML on native Windows.
Support for MIPS and 64-bit ARM processors through the byte-code interpreter.
Various bug fixes.