support TFF1 in TPTP parser/interpreter

improved handling of single-quoted names;

refactored tptp lex;

refactored tptp yacc to bring close to official spec;

added tptp parser;