# This is a combination of 3 commits.
# The first commit's message is:
Add a server list to the Multiplayer tab

# This is the 2nd commit message:

Put some documentation in minetest.conf.example

# This is the 3rd commit message:

Print some more helpful error information if the serverlist could not be
downloaded
Add a list of servers to the "Multiplayer" tab
If USE_CURL is set, it also downloads a list from a remote server.
The url of this list is configurable in minetest.conf using the setting "serverlist_url"
The local list of favorite servers is saved in client/serverlist/filename
filename is also configureable using the setting "serverlist_file"
Put some documentation in minetest.conf.example
Add (empty) serverlist folder for local lists
Implement some suggestions, make more use of favorites list and seperate local and online lists
Use && instead of and
Implement celeron55's layout suggestion with minor changes
There is no add button as you just add servers when connecting to them
for the first time. Also fixed a bug, the shown address should now
always be the one of the selected server.
Bugfix: No mixed up server names