a Python/Gtk 3 port of SSHMenu