readmePrefix

The Pancake compiler, i.e. a C-like compiler built from the lower
parts of the CakeML compiler.