Removing standard preamble in favor of an include statement

[ZachJHansen]

When formatting TPTP problem files, we can omit the standard preamble and instead use

    include('standard_preamble.ax').

which will work so long as standard_preamble.ax can be found in the same directory as the problem files. This is a much cleaner/more human readable presentation.