now obsolete, moved all code to https://github.com/jexler/leanengine
now obsolete, moved all code to https://github.com/jexler/leanengine