Make CakeML stubs "watched" files in opam build for cvm

[ampetz]

Desired behavior: When running make after making a change to a file like cvm/stubs/IO_Axioms.cml, the build should recognize the file as changed and attempt to recompile.