Allow setting lobby server name and port number from CLI.