Jre api (#66)

* basic push

* actual push

* JRE detection, and autosetting

* removed a println, retrying CI/CD

* new game version compare; preset java 7 and 8 using our jre

* 1.8 mislabeled

* working JRE changes

* fixed bugs with JRE setup

* fixed bugs with JRE setup

* manual merge

* prettier

* fixes + jre 17

* clippy, prettier

* typo

* forgot to hook up a function

* pr fix + comment fix

* added loader_version

* take 2

theseus_gui/src/helpers/settings.js

@@ -13,8 +13,7 @@ Settings {
     "game_resolution": [int int],
     "custom_java_args": [String ...],
     "custom_env_args" : [(string, string) ... ]>,
-    "java_8_path": Path (can be null),
-    "java_17_path": Path (can be null),
+    "java_globals": Hash of (string, Path),
     "default_user": Uuid string (can be null),
     "hooks": Hooks,
     "max_concurrent_downloads": uint,