added ability to send debug messages

src/main/kotlin/b/language/server/App.kt

src/main/kotlin/b/language/server/BDocumentService.kt

src/main/kotlin/b/language/server/Server.kt

src/main/kotlin/b/language/server/Util.kt

...in/kotlin/b/language/server/communication/Communicator.kt

.../b/language/server/communication/CommunicatorInterface.kt

src/main/kotlin/b/language/server/dataStorage/Settings.kt

.../b/language/server/proBMangement/ProBCommandLineAccess.kt