src/util/smt: added .gitignore for yices_main symlink
src/util/tuningDump.py: added
util/src/linprog: added extract.py
src/schedulers: added StaticScheduler as per linprog (imperfect)
runs/theory/E: added Static
src/eval: added method for dumping results relatively, added Static ml eval