feat(frontends/lean/dependencies): do not stop computing dependencies at error, compute as many as possible, and sign error in the end

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/dependencies): do not stop computing dependencies at error, compute as many as possible, and sign error in the end