Add mention of Git repository at repo.or.cz