yet another script for exporting github issues (with comments, as JSON)