test suite: print message for failing tests as they come
test suite: print message for failing tests as they come

ie you might see

   make
   TEST     bugs/closed/1337.v
   TEST     bugs/closed/3263.v
   TEST     bugs/closed/7777.v
   FAILED   bugs/closed/3263.v.log
   TEST     bugs/opened/1.v
   ...
   report: 3263 failed (should be closed)

silene/coq,Zimmi48/coq,JasonGross/coq,ppedrot/coq,maximedenes/coq,ppedrot/coq,JasonGross/coq,ejgallego/coq,ppedrot/coq,gares/coq,ejgallego/coq,gares/coq,coq/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,silene/coq,maximedenes/coq,ppedrot/coq,Zimmi48/coq,ppedrot/coq,Zimmi48/coq,silene/coq,Matafou/coq,gares/coq,SkySkimmer/coq,SkySkimmer/coq,gares/coq,Zimmi48/coq,gares/coq,Matafou/coq,maximedenes/coq,maximedenes/coq,Matafou/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,JasonGross/coq,maximedenes/coq,JasonGross/coq,coq/coq