uhc: broken by recent uhc-util update

https://github.com/UU-ComputerScience/uhc/issues/60

pkgs/development/compilers/uhc/default.nix

···
     # On Darwin, the GNU libtool is used, which does not
     # support the -static flag and thus breaks the build.
     platforms = ["x86_64-linux"];
+    broken = true; # https://github.com/UU-ComputerScience/uhc/issues/60
   };
 }