feat(util/lean_path): add function for searching for a file in the LEAN_PATH

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/lean_path): add function for searching for a file in the LEAN_PATH