Redefine the effect of -v and -q.  The default is now a minimum progress
reporting.  -q means no progress reporting.  -v means box-by-box
progress reporting.
Initial plumbing for the pp_simplify executable that will be used to
perform substitutions and other safe simplifications.