devx: Reduce verbosity of fix-whitespace command

[mpickering]

Fixes #10744

Please read Github PR Conventions and then fill in one of these two templates.

Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

• Patches conform to the coding conventions.
• Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

[ulysses4ever]

This will stop printing the violations too (see agda/fix-whitespace#49). Between printing too much and not printing anything at all I choose the former.

[mpickering]

I see, then I will close this PR.