bug#79086: check-DEJAGNU should produce less noise

Hi,

At least in connection with the Automake running in silent mode, the
check-DEJAGNU target should produce no noise in the output. It
probably makes sense to hide all the shell logic behind "@". This also
makes it easier to detect actual errors/warnings generated by running
the target.

Thanks,

Marc