Updating: adding libats-hwxi/globals/gstack
further work on low-level gurobi interface
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'upstream/master'