cnf files now get copied into the correct directory when running hydra

loading cnf files now more robust to differences in whitespace

modified ifCOnverge to have option to reset the converge counter as a parameter

added boolean to randomization in paramers