removed some headers from amdis and moved them to independent repository dune-blocked

Praetorius, Simonrequested to merge
issue/remove_unnecessary_headers into master

Merge request reports