PySSHGui/ssh_config: implemented save operation
PySSHGui: invoke new .save() method of ssh_config at removal of hosts