parse a search result only if we sent a SearchAbout
 - otherwise construct a CoqUnknown
 - also get rid of newlines in lemmas
 - also fill dynamicsuggestions if lemma exists, but doesn't have a description