Add tests for command line option parser
tests: Add unit tests
Adds a whole new set of tests that don't just test the whole reasoningprocess on a formula, but smaller individual functions.
Right now there are only two tests but more should follow.
Also available in: Atom