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;