Add support for passing additional repository ids and permissions when creating a github installation token. https://developer.github.com/v3/apps/#create-a-new-installation-token