Use PPrint library for pretty-printing
Add Tptp.to_string
TPTP input to test runner can be given in argument (option -s)