Swig python bindings

This includes a bug fix and a more realistic start to full python bindings for lean0.1. Feel free to squash commits.