Move `shared-properties.json` to `server/DomainConfig.json`

This commit renames `shared-properties.json` to `server/DomainConfig.json`
and removes now obsolete code from `main.js` that would otherwise result
in uncaught exceptions