Interval: scalar multiplication

Patrick Jaaprequested to merge
patrick.jaap_at_tu-dresden.de/dune-solvers:feature/interval-multiplication into master

Merge request reports