Lots of variable renaming and comment adjustment, mostly to achieve a
consistent naming. The former launcher gets renamed to coordinator and
the avworkers to background (bg)workers. No functional change (hopefully).
The GUC autovacuum_max_workers got renamed to max_background_workers.
