[!183] Catch polymorphic exceptions by reference
Merge branch 'catch-polymorphic-exception-by-reference' into 'master'
g++ 8 warns about this.
See merge request staging/dune-functions!183
(cherry picked from commit cc1312ad)
23fe5770 Catch polymorphic exceptions by reference