Add example needing invariant generation
Bugfix: Invariant computation broken in all cases except my one testcase
Be more consistent
Be more consistent and make more sense.
Simplified Makefile again.
Made it possible to not depend on Apron (fixes #7).

Without Apron, invariant generation will be disabled.
Made proof of AI more similar to other proofs.
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