Admin/polyml/build
2010-09-22 ago make compiler doubly sure;
2010-08-20 ago reactivated -segprot options, just to make double-sure;
2010-08-17 ago pro-forma support for further platforms;
2010-08-17 ago multi-platform build script for Poly/ML;