Allow overriding of default ports for API, doc, SSO, and workbench
servers when started with run.sh