An HTTP server that answers Coq queries like Print, Locate by talking to coqtop