Allow line breaks in clauses
fof, cnf, include aren't keywords in formulas

File Axioms/NLP001+0.ax can be parsed.
Update syntax specification
Bump version to 0.3.0