Use shared_ptr from std explicitly
Dune up until 2.7 tacitly imported shared_ptr into the Dune:: namespace. This is not done anymore, and therefore we need to add the 'std::' prefix everywhere.
Dune up until 2.7 tacitly imported shared_ptr into the Dune:: namespace. This is not done anymore, and therefore we need to add the 'std::' prefix everywhere.