Pigeonhole code repository moved to Github

[Stephan Bosch]

The public repository for Pigeonhole is now located at
https://github.com/dovecot/pigeonhole .

The repositories at http://hg.rename-it.nl are no longer updated.