Merge branch 'feature/prepare-for-2.5.0' into 'releases/2.5'

dune.module: prepare for 2.5.0 release

See merge request !35
6 jobs for v2.5.0 in 61 minutes and 42 seconds (queued for 470 minutes and 5 seconds)
latest
Status Name Job ID Coverage
  Test
passed debian:8--gcc #5663

00:26:34

passed debian:8-backports--clang #5664

00:27:38

passed debian:9--clang #5662

00:26:23

passed debian:9--gcc #5661

00:26:22

passed ubuntu:16.04--clang #5666

00:28:23

passed ubuntu:16.04--gcc #5665

00:26:51