many improvements and fixes;
Ast_tptp.CNF takes a list of terms and not a single one;
consistent printing of types in Term.pp_tstp (only for bound variable of type <> $i);
parser parses types better...
new tool, cnf_of_tptp, to reduce a problem into CNF