TSTP parser,lexer,AST
build files, generated by oasis;
updated oasis to use the new modules;
.ocamlinit file