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

dune.module: prepare for 2.5.2 release

See merge request !100
6 jobs for v2.5.2 in 9 minutes and 21 seconds (queued for 12 minutes and 10 seconds)
latest
Status Name Job ID Coverage
  Test
passed debian:8--gcc #34939

00:02:46

passed debian:8-backports--clang #34940

00:02:54

passed debian:9--clang #34938

00:03:07

passed debian:9--gcc #34937

00:02:51

passed ubuntu:16.04--clang #34942

00:02:43

passed ubuntu:16.04--gcc #34941

00:02:29