fixes in setup.py script
upgrade version to 4.2
improve PORT to include OS/version
April 2016 or-tools release.
December 2015 release of OR-Tools
september 2015, revision 3322