update to java 17 based minecraft

according to https://twitter.com/brunoborges/status/1465806238428512260?s=20 Java 17 is the new thing :)

jbang-catalog.json

@@ -1,13 +1,13 @@
 {
   "aliases": {
     "minecraft-server": {
-      "script-ref": "https://launcher.mojang.com/v1/objects/a16d67e5807f57fc4e550299cf20226194497dc2/server.jar",
+      "script-ref": "https://launcher.mojang.com/v1/objects/3cf24a8694aca6267883b17d934efacc5e44440d/server.jar",
       "description": "Minecraft: Java Edition Server\nRequires agreeing to EULA to run. Create `eula.txt` file with `eula=true` as content and then run using `jbang minecraft-server@microsoft`",
       "java-options": [
         "-Xmx1024M",
         "-Xms1024M"
       ],
-      "java": "16"
+      "java": "17"
     },
     "appinsights-agent": {
       "script-ref": "com.microsoft.azure:applicationinsights-agent:3.2.3",