The Build Cache

There's a useful new feature in Acorn Prover 0.0.8: a build cache.