add greedy gremlin, bugfix daoopt
Merge branch 'master' of ssh://github.com/joergkappes/opengm