Export a project to JSON

The public v1 API returns issues, views, comments, and more as JSON, and the list view drives a JSON and CSV export. So exporting a project as JSON is possible today, either through the API or the export controls. A one-click whole-project archive is a smaller follow-up we may add.