Allow all kinds of line endings in Lexer
New function pretty printing lists of rules
ApronAI: Commented debugging code that may come in handy
New utility functions / make things tail recursive
Major refactoring: Use Maps for Runtime, Sizes and Costs
Add live logging facility to watch ongoing proof/timings
Order does matter: Include stable version of concatMap, use
Generic powSet function, use
Reorder separation step counter increases for simpler code
More logging stuff
Improve heuristic for separate processing
Fix embarassing bug in extraction of RF from model
Refactor Farkas constraint generation to make extraction of results easier
Deduplicate mapFlat and concatMap (towards concatMap)
Fix copyright / description
Merge pull request #8 from mmjb/map-refactoring

Refactor KoAT to use Maps (corresponding to paper) instead of lists of tuples