updated CallProver and Trace_tstp, now visible in Logtk_parsers