Omit hypothesis name from many proof mode errors.

In most cases it is a temporary whose name is useless and just
clutters the error message.
1 job for master in 4 minutes and 16 seconds (queued for 3 minutes and 39 seconds)
Status Job ID Name Coverage
  Test
passed #613
coq
buildjob

00:04:16