Use the Makefile in test-suite/check
Use the Makefile in test-suite/check

The output format is preserved, but not the dynamics (results are
showed all at once at the end).  This script could be removed
altogether once the main Makefile (and daily bench) are fixed.

git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@12922 85f007b7-540e-0410-9357-904b9bb8a0f7

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