Correct indentation for help-printing of boolean options.
Correct indentation for help-printing of boolean options.

jamesbornholt/minisat,jamesbornholt/minisat,robertsami/minisat,niklasso/minisat,meteor/minisat,meteor/minisat,niklasso/minisat,mabdula/minisat,meteor/minisat,robertsami/minisat,mabdula/minisat,meteor/minisat,mabdula/minisat