(TK-50) Change default server configuration

Change the configuration of a default server to be a boolean
contained in the map for one server in a multiserver set-up.
Make the default server specification optional.