[discretefunction.default] * allow to get a const local discrete function from a non const function
[discretefunction.default]
* allow to get a const local discrete function from a non const function

BarbaraV/dune-gdt,ftalbrecht/dune-gdt