Merge pull request #5 from marcvinyals/master2

Split dimacs generation from argument parsing
Dimacs graph format parser
Merge pull request #6 from marcvinyals/bugfix

Bug fix: reshuffle should read arguments other than the command line.
Bug fix: cnfgen should read arguments other than the command line.