feat(frontends/lean/dependencies): send all missing files to standard error, closes #111

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/dependencies): send all missing files to standard error, closes #111