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