Adding discovery_url setting.

Useful if the API server is entirely different.