renamed check_tptp tool
module Trace_tstp, to represent the output of a prover that
found a solution to a problem (in TSTP format)