Let HetsErrorProcess recognize errors of `prove`
Let HetsErrorProcess recognize errors of `prove`

In the `dg` command, hets outputs:
"*** Error:
<message>"
and in the `prove` command, hets outputs:
"*** Error: <message>"
So the `\Z` in the regexp is removed and the error message includes the
first line without the prefix "*** Error:"

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub