Allow cut&copy from error messages

[andreasabel]

Sometimes is is useful to paste parts of the error message into the code, e.g. the lists of cases that are not matched in this example:

However, currently the whole error message is one "button", one cannot select any text there.