bugfixes

* bugfixes LazyFlipper visitor calls (wrong bounds)
* hotfix numerical problems in multicut (problems of cplex)
* minor changes