ghtools: tools for interacting with the GitHub API