Add server_token config option, defaults to off