merge dune-gdt-super into dune-gdt
The idea is to store the information of required dependencies directly within dune-gdt. Possibly achieved by git submodules residing in some folder. This
- should make dune-gdt-super obsolete,
- simplify CI and
- gives you everything with all dependencies after cloning one repo