Remove SSH proxy to access BSC clusters

We now have direct connection to them.

Reviewed-by: Aleix Boné <abonerib@bsc.es>

m/common/ssf.nix

@@ -5,6 +5,5 @@
     ./ssf/fs.nix
     ./ssf/net.nix
     ./ssf/hosts.nix
-    ./ssf/ssh.nix
   ];
 }

m/common/ssf/ssh.nix

@@ -1,8 +0,0 @@
-{
-  # Connect to intranet git hosts via proxy
-  programs.ssh.extraConfig = ''
-    # Connect to BSC machines via hut proxy too
-    Host amdlogin1.bsc.es armlogin1.bsc.es hualogin1.bsc.es glogin1.bsc.es glogin2.bsc.es fpgalogin1.bsc.es
-      ProxyCommand nc -X connect -x hut:23080 %h %p
-  '';
-}