Remove override_nprocs option.

This is a confusing option and does not allow anything to be done that
cannot also be done by setting the minimum and maximum number of
processors.  It is better that there's only one way to perform a given
action!