pub fn read_genesis_commit_hash(spec_dir: &Path) -> Result<String, GitError>
Read the genesis commit hash from the Lean source file.