Renamed SPASS parser to TPTP parser

The parser was in fact parsing TPTP files, and not SPASS proofs.