"-schedule-vio-checking" should not be so verbose (unless an option such as -verbose is passed)

[coqbot]

Note: the issue was created automatically with bugzilla2github tool

Original bug ID: BZ#4058
From: @charguer
Reported version: 8.5
CC: coq-bugs-redist@lists.gforge.inria.fr

[coqbot]

Comment author: @charguer

Hi,

When I run e.g.

coqc -schedule-vio-checking 1 LibMap.vio

I do not expect to see progression messages such as

Checking task 7 (map_indom_update_self) of LibMap

This kind of messages pollute the shell in batch compilation;
I suggest they are only displayed if an option such as "-verbose"
or "-report-progress" is activated.

Thanks,
Arthur

[ps: i though i did submit this bug yesterday, but apparently not]