Support setting a server URL in settings.json (#650)