Added small lexer/parser for dimacs (work in progress).