ghkeys is a tiny utility to get the public ssh keys of a github user.