CakeML/cakeml v863

CakeML 863

on GitHub

From now on, a version of CakeML will be "released" (not necessarily including a corresponding tag and GitHub entry) whenever the regression test passes on the master branch. Most recently, this was achieved by job 863. The corresponding HOL commit is HOL-Theorem-Prover/HOL@1557f72.