Make 'make' much less noisy w.r.t. line length

Now we only print HOQC or COQDEP, rather than the full command line,
unless the user passes V=1