[operator.prolongations] update * those do not use the operator.base infrastructure yet
[operator.prolongations] update
* those do not use the operator.base infrastructure yet

BarbaraV/dune-gdt,ftalbrecht/dune-gdt