investigate the use of __format__ for Python bindings

Can we use __format__ to more easily customize the way LTL and automata are printed?