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