On the way to public keys (#234)

Missing:
- deletion of a repository key fails (wrong url returned by GitHub)
- coverage of PublicKey._update (does not really make sense)