changed buffering of axioms in the parser (use batches instead of a
bounded queue)
Merge remote-tracking branch 'origin/feature/low-level-tweaks' into feature/concurrent-parser