Bug #3446 - Installer not setting SHARED_PORT_MAX_WORKERS

Added SHARED_PORT_MAX_WORKERS = 1000 to the condor config when the
shared port option is in effect.

Files changed:
 - doc/components/condor.html
 - doc/components/condor_config.html
 - install/services/Condor.py
 - install/templates/02_gwms_factory_schedds.config
 - install/templates/02_gwms_schedds.config