feat(util/lean_path.cpp): add "exe_path/../lib/lean" to LEAN_PATH

Related issue: #223
feat(util/lean_path.cpp): add "exe_path/../lib/lean" to LEAN_PATH