Release done

[Matt Caswell]

The release is complete and the repo is unfrozen. Thanks to Paul Yang
for doing the release reviewer role.

Loads of problems this time. Looks like the release scripts need some
adjustment. But through a combination of hacking and swearing at my
computer it went through in the end.

Problems were due to:
- ongoing bug in dorelease.pl which doesn't move the old releases out
the way properly
- Rename of CHANGES/NEWS to CHANGES.md/NEWS.md
- Bug in the script to update the source directory (doesn't seem to like
us only having one active release)
- Some problem (on our side) in the scripts related to purging the CDN
cache. As a consequence I had to purge things "manually" as I found
them, so there may be some pages that are un-purged (in particular I'm
thinking the man pages).

Matt