Added "sat -initsteps"
Improved non-verbose ezSAT::printDIMACS() format
Coding style corrections in SatHelper::dump_model_to_vcd()
Added "sat -dump_cnf"