New command for checking whether two TPTP files are equivalent.
Need to stringify.
Hypotheses.
Parse tests.
Definitions and hypotheses shouldn't be included.