practically obsolete: plain "poly" should work, except for Linux without libgmp installed;
Notes on building Poly/ML as Isabelle component
===============================================
* copy README
* copy build
* copy etc/settings
* include full source (without symlink)
* include sha1 source and binary for each platform
* linux: include copy of libgmp.so with symlinks from build host