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.
Merge branch 'master2' into reduce-memory