New lexer/parser for dimacs format.
Added some tests.