Add Wi-Fi for 37C3

Yes that was the laziest option to do that.

os/ccc/default.nix

@@ -0,0 +1,17 @@
+{ ... }:
+{
+  config = {
+    networking.wireless.networks."37C3".auth = ''
+      key_mgmt=WPA-EAP
+      eap=TTLS
+      identity="37C3"
+      password="37C3"
+      ca_cert="${builtins.fetchurl {
+        url = "https://letsencrypt.org/certs/isrgrootx1.pem";
+        sha256 = "sha256:1la36n2f31j9s03v847ig6ny9lr875q3g7smnq33dcsmf2i5gd92";
+      }}"
+      altsubject_match="DNS:radius.c3noc.net"
+      phase2="auth=PAP"
+    '';
+  };
+}

os/default.nix

@@ -3,6 +3,7 @@
   imports = [
     ../options.nix
     ./battery.nix
+    ./ccc
     ./common.nix
     ./desktop.nix
     ./gaming

os/wireless.nix

@@ -1,7 +1,6 @@
 { pkgs, ... }:
 {
   # wireless support via wpa_supplicant
-  # TODO This doesn't change anything, at least in the VM
   networking.wireless = {
     enable = true;
     networks = builtins.fromJSON (builtins.readFile ./wireless/networks.json); # If this file doesn't exist, run ./wireless/import.py