some documentation

README.md

 # b-language-server
-A language server implementation for B, using ProB as backend, based on Java/Kotlin
+A language server implementation for B, using ProB as backend, based on Java/Kotlin. This language server comes with his
+own version of probcli.
+
+## Usage
+After starting the server; either from an IDE via main or by building and executing a shadowjar, a language client can 
+connect to it via port 55555.
+
+## Capabilities
+
+- Calling ProB Java Kernel with additional options
+- Options need to be specified by the client; They are requested by the server
+- Options are: 
+    *   val strictChecks : Boolean = true  
+    *   val wdChecks : Boolean = true
+    *   val performanceHints : Boolean = true 
+    *   val probHome : String = "DEFAULT"
+    *   val debugMode : Boolean = true
+    
+## Clients
+
+- VSCode: https://marketplace.visualstudio.com/items?itemName=SeeBasTStick.b-language-extension
\ No newline at end of file