[test-suite] Fix dependencies of modules/ files

Fixes #12582

The previous code said that `Nat.v.log` (and therefore `Nat.vo`) should
be rebuilt anytime `Nat.v.log` is older than `plik.v.vo`, and also says
that `plik.v.log` (and therefore `plik.vo`) should be rebuilt anytime
`plik.v.log` is older than `Nat.vo`.  This is circular, and results in
`make` considering all of the `modules/` tests out-of-date on any fresh
run.

0 files changed, 0 insertions, 0 deletions