Add ac.upc.edu as name search server

Allows referring to fox.ac.upc.edu directly as fox.

m/tent/configuration.nix

@@ -30,7 +30,7 @@
 
     # Only BSC DNSs seem to be reachable from the office VLAN
     nameservers = [ "84.88.52.35" "84.88.52.36" ];
-    search = [ "bsc.es" ];
+    search = [ "bsc.es" "ac.upc.edu" ];
     defaultGateway = "10.0.44.1";
   };