README: point to repo.or.cz git mirror setup