Changes

Summary

1. merged
2. updated polyml component -- omitting bad polyml-5.7.1-3;
3. use preferred resolver according to DOI Handbook §3.8
4. no --enable-shared for x86_64-darwin: does not work on some test machine;
5. proper target directory;
6. tuned;
7. more robust options;
8. back to --disable-shared on windows to avoid odd core-dump of polyimport;
9. tuned;
10. back to --disable-shared on x86-darwin to avoid odd core-dump of polyimport;
11. clarified command-line defaults;
12. enforce shared libpoly on all platforms, with File.copy before File.move;