fix option parsing
do not write fresh variables as comments in dimacs files to decrease file size