New websocket implementation

New websocket library for the frontend client, optimized for Vue. Some bug fixes and improvements as well.

frontend/src/components/Button.vue

@@ -84,4 +84,9 @@ export default {
     margin-left: auto;
     margin-right: auto;
 }
+@media only screen and (max-width: 315px) {
+    a {
+        font-size: 0.75em;
+    }
+}
 </style>