Changes:
Cabal:
- Set up tests properly, they now work
CNFParser
- Completed work. Now appears to work for two instances tried.
- Needs to be tested more thoroughly
- Does not work with some 'exotic' CNF file examples
SATRepresentation
- Made Clauses externally available

Added:
Test.hs
- Main testing file
TestParser.hs
- Contains the tests for the parser
- Currently contains two tests, both of which pass