connect_to_server() and named server configs

Rather than programatically maintain server URLs, ports, usernames, DB
names, ports, etc., we allow the user to create a ~/.starplex.json file
that contains dictionary with named servers. The user can connect to
these named servers using the connect_to_server() function that is a
porcelin on top of the regular connect() function.