Add a CLI option to let the server respond in JSON-interaction style#40

banacorn merged 2 commits intoagda:masteragda/agda-language-server:masterfrom

agda-web:raw-responsesagda-web/agda-language-server:raw-responsesCopy head branch name to clipboard