Check out a copy of <https://github.com/mit-plv/bbv> in the parent directory and
build it.  Then run `./build`.

The models were built with
* `sail` commit `ba6d82bd`
* `sail-riscv` commit `503cb6e`
and checked against bbv commit `143c47b` and coq 8.9.0.
