[headercheck] Fix missing headers and non ISO C++11 code

4 jobs for !2675 with feature/header-check-v3.4
latest detached
Status Name Job ID Coverage
  Trigger
passed full-dune-2.7-clang

passed full-dune-2.7-gcc

passed minimal-dune-2.7-gcc

 
  Downstream Modules
passed trigger lecture