fix

Make: Fix archive target

polish doc

cleanup

update Makefile.cc.java.dotnet

Fix "test_pypi_archive" target on windows

adds command line arguments to scheduling_with_stransitions_sat.py

polish sat doc

Fix mono name on OSX for archive Makefile (Fix google#712)

Fix Protobuf version clone on unix (Fix google#620).