Redmine sample data

To import a copy of an existing Redmine database, place a copy of the MySQL dump file
at `scratch/redmine_dump.sql.gz`. _(One of the daily backups on our production
Redmine server is suitable. See `/var/lib/mysql.backups/daily/redmine/`.)_