use standard `[[deprecated(...)]]` attribute

Ansgar Burchardtrequested to merge
ansgar/dune-uggrid:use-standard-deprecated-attribute into master

Merge request reports