Update documentation: now cnfgen is a command in bin/