Added option to export the server list as ssh config file.