added some tests
added random ppz to the mix
added a crappy DIMACS parser