update docker to support ubuntu 19.10

fix

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