Dump MAKE-TPTP-FORMULA.
(Re)merge db.lisp and tptp.lisp.

There are still some opportunities for helpfully splitting these.