Python bindings for libtins