Ignore 14 year old FIXME

This assumes that in 14 year this has been fixed, according to https://www.php.net/manual/en/function.getopt.php
it does return the `false` but there is not easy way to verify this.

Author: Michael Vasseur

judge/judgedaemon.main.php

@@ -486,7 +486,6 @@ function fetch_executable_internal(
 }
 
 $options = getopt("dv:n:hVe:j:t:", ["diskspace-error"]);
-// FIXME: getopt doesn't return FALSE on parse failure as documented!
 if ($options===false) {
     echo "Error: parsing options failed.\n";
     usage();