Added a button for exporting the server list to the hosts.txt file. If the file exists, you can choose to replace the file or to merge the server list into it