Tweak tools-polyml/README, and move it to developers directory.