Add some simple DIMACS parser tests