anders: use Dune 3

pkgs/applications/science/logic/anders/default.nix

···
   pname = "anders";
   version = "1.1.1";
 
-  useDune2 = true;
+  duneVersion = "3";
 
   src = fetchFromGitHub {
     owner = "groupoid";