[ v0.8.0-rc1 ] Generate bootstrap code

With the bootstrap code generated, bootstrapped, and regenerated using
the new compiler, this completes the preparation for a release
candidate!

The CHECKLIST will be cleared once the community is happy to go ahead
with the release (pending further RCs if adjustments are needed),
ideally after the tags, website tarball, etc. have been completed.

Author: CodingCellist

Release/CHECKLIST

@@ -22,13 +22,20 @@
 - [x] Move CHANGELOG_NEXT.md entries into CHANGELOG.md under a heading for the
      upcoming release version. Reset CHANGELOG_NEXT.md, leaving the
      "[Next version]"-heading blank.
-- [ ] Update bootstrap chez and racket (built with new version)
-    - [ ] Compile Idris2 with the appropriate CG
-    - [ ] Copy the resulting files from build/ to bootstrap/idris2_app/
-- [ ] Change `IdrisPaths-yprefix` in the bootstrap sources to be defined as the
-    string "__PREFIX__" rather than your local prefix
-- [ ] Remove __collect_safe from generated chez (to avoid need for chez >9.5)
+- [x] Make sure INSTALL.md gives the correct minimum Idris version
+- [x] Update bootstrap chez and racket (built with new version)
+    - [x] Compile Idris2 with the appropriate CGs (chez and racket)
+    - [x] Copy the resulting `idris2.ss` and `idris2.rkt` files from
+        `build/exec/idris2_app/` to `bootstrap/idris2_app/`
+    - [x] Change `IdrisPaths-yprefix` in the bootstrap sources to be defined as
+        the string "__PREFIX__" rather than your local prefix
+    - [x] Remove __collect_safe from generated chez (to avoid need for chez
+        >9.5)
+    - [x] Bootstrap with both chez and racket, then repeat the sub-steps above
+        in order to have an bootstrap code which was generated by the new
+        compiler
+- [ ] [FIXME (issue#3587)] ~~Make libdocs and upload to idris-lang.org~~
+- [ ] Run the `mkdist.sh` script with the version number as its argument
+    (without the leading `v`, only the numbers).
 - [ ] Tag on github with version number (in the form vX.Y.Z)
-- [ ] Make libdocs and upload to idris-lang.org
-- [ ] Run the `mkdist.sh` script with the version number as its argument (without
-    the leading `v`, only the numbers).
+- [ ] Clear the release checklist