The Python interface to TrisDb