A simple tool for downloading GitHub issues in CSV format.