The results of search queries use html code even when it should not

[fblanqui]

There are various places where some html code is used while it should not, for instance when answering a request on the command line or from an editor:

lambdapi/src/tool/indexing.ml

Line 281 in a1cc292

Lplib.Base.out ppf "%s%a.<b>%s</b>@%s%s%a%s%s<code>%a</code>%s%s@."

lambdapi/src/tool/indexing.ml

Line 666 in a1cc292

Format.asprintf "<h1>Number of results: %d</h1>%a@."