Moved most of the server settings to a properties file.

Moved most of the server settings to a separate properties file. Server
will now look for a .trivia-server-settings file in the home directory
to override default server settings. This will allow people to set up a
server at an alternative URL more easily.