fix(frontends/lean/info_manager): add missing method

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/module): include name of corrupted .olean file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/parser): allow parser to continue even if there are errors importing files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/parser): allow parser to continue even if there are errors importing files