Bug fix: cnfgen should read arguments other than the command line.
Bug fix: discard 0-th argument for argparse
Merge pull request #10 from marcvinyals/bugfix

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