Update final results for max_margin
Merge branch 'stable' of github.com:srl-freiburg/momo into devel
removing no longer needed stuff