Edit requests of Xonsh のスクリプトで ssh の config を読み込んで、選択した番号のサーバーに接続する