Remove TLS option from in-game settings

This removes the `lobby.tls` option from the in-game settings, as
connecting to the official lobby without TLS isn't possible anymore. The
`lobby.tls` setting itself stays available for debugging purposes and
can still be set via the command line or in the user.cfg configuration
file.

binaries/data/mods/public/gui/options/options.json

@@ -523,12 +523,6 @@
 		"tooltip": "Change multiplayer options.",
 		"options":
 		[
-			{
-				"type": "boolean",
-				"label": "TLS encryption",
-				"tooltip": "Protect login and data exchanged with the lobby server using TLS encryption.",
-				"config": "lobby.tls"
-			},
 			{
 				"type": "number",
 				"label": "Chat backlog",