Hitchikers hitchikers.egg-info .gitignore .python-version .wget-hsts Hitchikers.lean Main.lean README.md brzozowski.txt lake-manifest.json lakefile.toml lean-toolchain main.py pyproject.toml uv.lock