Issue tracker redirector

API:

To add more Jira redirects send a pull request to jira_keys_to_github_ids.txt.