#7 TSTP support

[Adam Pease]

Provide support for loading and saving TSTP support.
This would include an option to have the XML-based
theorem prover interface read and write TSTP instead of
KIF. TSTP syntax is defined at
<http://www.cs.miami.edu/~tptp/TSTP/TSTPBNF.txt>

[Adam Pease]

Logged In: YES
user_id=978221
Originator: YES

Sigma now saves in this format via selection on the Manifest page. Load capability is still needed