feat(util): add fuzzy string search procedure
feat(frontends/lean/server): using fuzzy matching
feat(frontends/lean/server): sort fuzzy matches by number of errors

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/server): sort fuzzy matches by number of errors