Clean up some Oak stuff

3 jobs for semantics in 6 minutes and 50 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
failed #83755
au
coq:8.8

00:03:28

passed #83756
au
coq:8.9

00:03:43

failed #83757
au
coq:dev

00:03:21

 
Name Stage Failure
failed
coq:dev Build

make[2]: *** [src/BoundedN.vo] Error 1
CoqMakefile:654: recipe for target 'src/BoundedN.vo' failed
CoqMakefile:319: recipe for target 'all' failed
make[1]: *** [all] Error 2
make[1]: Leaving directory '/builds/jakobbotsch/smart-contracts'
Makefile:7: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Job failed: exit code 1
failed
coq:8.8 Build

CoqMakefile:656: recipe for target 'src/Blockchain.vo' failed
make[2]: *** [src/Blockchain.vo] Error 1
CoqMakefile:317: recipe for target 'all' failed
make[1]: *** [all] Error 2
make[1]: Leaving directory '/builds/jakobbotsch/smart-contracts'
Makefile:7: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Job failed: exit code 1