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

Job	Run time
Build and Test (ubuntu-latest, Agda-2.8.0)	39m 14s
Build and Test (macos-13, Agda-2.8.0)	1h 19m 57s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	38m 1s
Build and Test (macos-latest, Agda-2.8.0)	45m 3s
Build and Test (macos-13, Agda-2.7.0.1)	1h 29m 14s
Build and Test (macos-latest, Agda-2.7.0.1)	27m 41s
Build and Test (windows-latest, Agda-2.8.0)	47m 32s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	32m 37s
Build and Test (windows-latest, Agda-2.6.4.3)	42m 7s
Build and Test (macos-latest, Agda-2.6.4.3)	42m 19s
Build and Test (windows-latest, Agda-2.7.0.1)	41m 23s
Build and Test (macos-13, Agda-2.6.4.3)	1h 24m 16s
Build WASM	0s
Create Release	0s
Upload to Dev Release	0s
Upload to Stable Release	0s
	10h 9m 24s

Provide feedback