Monitor fox and gateway via ICMP

Fox should reply once the machine is connected to the UPC network.
Monitoring also the gateway allows us to estimate if the whole network
is down or just fox.

m/fox/configuration.nix

@@ -24,11 +24,6 @@
     nameservers = [ "8.8.8.8" ];
     hostName = "fox";
     interfaces.enp1s0f0np0.ipv4.addresses = [
-      {
-        # BSC network (to be removed)
-        address = "10.0.40.26";
-        prefixLength = 24;
-      }
       {
         # UPC network
         # Public IP configuration:
@@ -52,19 +47,7 @@
       # Fox BSC
       10.0.40.26      fox
       10.0.40.126     fox-ipmi
-    '' +
-    # To be removed:
-    ''
-      # Hut BSC
-      10.0.40.7       hut
     '';
-
-    # To be removed:
-    proxy = {
-      default = "http://hut:23080/";
-      noProxy = "127.0.0.1,localhost,internal.domain,10.0.40.40,hut";
-      allProxy = null;
-    };
   };
 
   # Configure Nvidia driver to use with CUDA

m/hut/monitoring.nix

@@ -170,6 +170,7 @@
             "ssfhead"
             "anella-bsc.cesca.cat"
             "fox.ac.upc.edu"
+            "arenys5.ac.upc.edu"
           ];
         }];
         relabel_configs = [