Update irdest repository

Mainly to update the website

nix/sources.json

@@ -2,7 +2,7 @@
     "irdest": {
         "branch": "develop",
         "repo": "https://git.irde.st/we/irdest/",
-        "rev": "188b41a180cb5dada4f679ed98c59f7f63d7a208",
+        "rev": "3963dfd39286b362d12a39e2646f21a83c523a4c",
         "type": "git"
     },
     "naersk": {