Test suite: Force updating of .v files
Test suite: Force updating of .v files

otherwise, re-running `make` will just “test” the existing generated
`.v` files, which is quite pointless. Instead, always run `hs-to-coq`
again.

antalsz/hs-to-coq,antalsz/hs-to-coq