Changed server URL to a command line argument to make switching servers
easier.

The server URL is now specified to the client by the first argument on
the command line. This allows the server to be changed easily in the
webstart (jnlp) files without requiring and end-user action.