Split dimacs generation from argument parsing
Added some tests for the kth2dimacs module.
Merge pull request #5 from marcvinyals/master2

Split dimacs generation from argument parsing