Get rid of messages "emitting ..." when compiling .v files
Get rid of messages "emitting ..." when compiling .v files

 If these messages are still relevent to somebody, feel free to
 restore them in -debug or any non-default mode of your choice.

mattam82/coq,TOSPIO/coq,ppedrot/coq,silene/coq,pirapira/coq2rust,gares/coq,maximedenes/coq,gares/coq,letouzey/coq-wip,pirapira/coq2rust,mlasson/coq,pirapira/coq2rust,ale-f/coq,TheTypoMaster/coq,coq/coq,Ptival/coq,TOSPIO/coq,gares/coq,ejgallego/coq,asr/coq,ale-f/coq,pirbo/coq,silene/coq,herbelin/github-coq,letouzey/coq-wip,william-lawvere/coq,aspiwack/coq,coq/coq,pirbo/coq,william-lawvere/coq,shindere/coq,SkySkimmer/coq,maximedenes/coq,amintimany/coq,shindere/coq,letouzey/coq-wip,TheTypoMaster/coq,8l/coq,ejgallego/coq,letouzey/coq-wip,Lionel-Rieg/coq,8l/coq,coq/coq,Ptival/coq,Lionel-Rieg/coq,maximedenes/coq,aspiwack/coq,gmalecha/coq,aspiwack/coq,SkySkimmer/coq,Ptival/coq,william-lawvere/coq,asr/coq,JasonGross/coq,barras/coq,TheTypoMaster/coq,jpdeplaix/coq,herbelin/github-coq,asr/coq,gmalecha/coq,Zimmi48/coq,maximedenes/coq,JasonGross/coq,SkySkimmer/coq,Zimmi48/coq,TOSPIO/coq,coq/coq,amintimany/coq,Matafou/coq,JasonGross/coq,ejgallego/coq,ale-f/coq,mattam82/coq,ppedrot/coq,ppedrot/coq,barras/coq,JasonGross/coq,gmalecha/coq,maximedenes/coq,8l/coq,mlasson/coq,silene/coq,gares/coq,Lionel-Rieg/coq,jpdeplaix/coq,jpdeplaix/coq,gares/coq,SkySkimmer/coq,barras/coq,ppedrot/coq,amintimany/coq,Zimmi48/coq,Zimmi48/coq,shindere/coq,Matafou/coq,mattam82/coq,Matafou/coq,mlasson/coq,ppedrot/coq,letouzey/coq-wip,herbelin/github-coq,pirbo/coq,ejgallego/coq