Need CI pipeline with cmake 3.9

We require cmake 3.9 as the minimum version of cmake. We have to detect when we use features available only in more recent versions.

Depends on having the right container first (corsika-docker#1).