Feature/require cmake 3.13

Christoph Grüningerrequested to merge
feature/require-cmake-3.13 into master

We should create similar merge requests for all core modules (and beyond) before merging this.

Fixes #200 (closed)

Merge request reports