Print logical name rather than path (thus allowing reproducible tests).
Merge branch 'trunk' of git+ssh://scm.gforge.inria.fr//gitroot/coq/coq into trunk
Test suite: update output reference.