wtv-setup + bgmusic

- wtv-setup pages thanks to https://github.com/JarHead4
- wtv-backgroundmusic support
- keyboard and text size settings support
- removed small midi music demo in favor of backgroundmusic system
- version v0.9.23

zefie_wtvp_minisrv/ServiceVault/wtv-setup/set.js

@@ -0,0 +1,18 @@
+var minisrv_service_file = true;
+if (request_headers.query && ssid_sessions[socket.ssid]) {
+    var settings_obj = ssid_sessions[socket.ssid].getSessionData("wtv-setup");
+    if (settings_obj === null) settings_obj = {};
+
+    Object.keys(request_headers.query).forEach(function (k) {
+        settings_obj[k] = request_headers.query[k];
+    });
+    console.log(settings_obj);
+    ssid_sessions[socket.ssid].setSessionData("wtv-setup", Object.assign({}, settings_obj));
+    ssid_sessions[socket.ssid].saveSessionData();
+    headers = `200 OK
+Content-type: text/html`;
+} else {
+    var outdata = doErrorPage();
+    headers = outdata[0];
+    data = outdata[1];
+}