expand hard tabs;

more portable hash-bang;

removed use of CharVector in generated parser, to make SMLNJ happy

split make_tptp_parser into two scripts, for parser and lib respectively;

added tptp parser;