Fix mismatched GUI lib name

Author: floppyhammer

.gitmodules

@@ -1,7 +1,3 @@
-[submodule "3rd/flint_gui"]
-	path = 3rd/flint_gui
-	url = https://github.com/floppyhammer/flint_gui.git
-	branch = master
 [submodule "3rd/json"]
 	path = 3rd/json
 	url = https://github.com/nlohmann/json.git
@@ -11,3 +7,6 @@
 [submodule "3rd/mINI"]
 	path = 3rd/mINI
 	url = https://github.com/metayeti/mINI.git
+[submodule "3rd/revector"]
+	path = 3rd/revector
+	url = https://github.com/floppyhammer/revector.git

3rd/revector

@@ -59,8 +59,8 @@ endif ()
 add_subdirectory(3rd/devourer)
 target_include_directories(${PROJECT_NAME} PRIVATE "3rd/devourer/src" "3rd/devourer/hal")
 
-add_subdirectory(3rd/flint_gui)
-target_include_directories(${PROJECT_NAME} PRIVATE "3rd/flint_gui/src")
+add_subdirectory(3rd/revector)
+target_include_directories(${PROJECT_NAME} PRIVATE "3rd/revector/src")
 
 add_subdirectory(3rd/json)
 target_include_directories(${PROJECT_NAME} PRIVATE "3rd/json/include")