Added ability to push verbosity onto the stack

Also added verboseUnsetup, which is used internally by unsetupRequired
(see next changeset)
Implemented unsetup{Required,Optional}

Useful in top-level table files, e.g. my classic "work" package, where you
want to tune exactly what products appear in the setup environment.