Bug fix: cnfgen should read arguments other than the command line.
Bug fix: discard 0-th argument for argparse
Merge branch 'bugfix' into master2