changed buffering of axioms in the parser (use batches instead of a
bounded queue)
various tweaks and improvements to the concurrent JavaCC lexer
tweak
Merge remote-tracking branch 'origin/feature/low-level-tweaks' into feature/concurrent-parser
finally committing my concurrent lexer + removing the stupid .gitignore
making JavaCCLexerFactory tad more generic
Merge branch 'feature/concurrent-parser'