Configuration fixes, makefile tweaks

* The PHAR now gets tagged with version and buildtime
* WebSocket support can now be disabled

src/Configuration.php

@@ -97,5 +97,16 @@ class Configuration
         return $this;
     }
 
+    public function getEnableWebSockets(): bool
+    {
+        return (bool)($this->config['server.websockets']??false);
+    }
+
+    public function setEnableWebSockets(bool $enable): self
+    {
+        $this->config['server.websockets'] = $enable;
+        return $this;
+    }
+
 }