Allow running HipSpec without QuickSpec
Tidy up command line parameters

Variables to do induction over is now by default 2, and
can be changed with -v. For the other changes, see the diff.