Display error messages

[tillmo]

For the DOL file

specc sp 

the RESTful interface returns

curl localhost:8000/dg/file%3a%2f%2f%2fdata%2ftest_import1.dol/full-signatures/full-theories/auto
*** Error:
file:///data/test_import1.dol:2.7:
unexpected 's'
expecting "%", "and", "end", "extract", "fit", "forget", "hide", "keep", "reject", "remove", "reveal", "select", "then", "with", "within", "of", "for", "to", "intersect", "arch", "from", "logic", "newlogic", "refinement", "spec", "unit", "view", "ontology", "alignment", "network", "equivalence", "newcomorphism", "interpretation", "entailment", "}", "[", "]" or end of input

This error should be displayed in VSCode.
Would it help if the error is encapsulated in json?