Correct the ReleaseChecklist - update version.txt instead of release.txt.

And specify the download.html file instead of just "the download page".

Author: daute

ReleaseChecklist.txt

@@ -7,7 +7,7 @@
 - Does test/testbench_simple.wxmx work?
 - Create a git tag for the release
 - Go to the releases page Github and convert the tag into a release
-- Update the release info on the download page and in release.txt
+- Update the release info in the files download.html and in version.txt
   in the gh_pages branch.
 - Append "-DevelopmentSnapshot" to the version number in CMakeLists.txt for the new development version.
 - Download the tarball (.tar.gz and .zip version) and run the following command on them: