cleaned up code. deletion of FIXME
deletion of some code and TODOs
removed some old TODOs and FIXMEs from source code
reformating and intgeration of (old) test classes for sariel, fekete and opt solver
not printing model variables to STDOUT
removal of debug '#print's