Add command line option to specify Keycloak server.

At the moment the URL of the Keycloak server is hardcoded into the code. Should also support auth.vseth.ethz.ch.