dunecontrol --skipversioncheck does not skip the cmake version check

The (undocumented) --skipversioncheck option of dunecontrol skips the version check in dunecontrol itself, but not the one done later by cmake (see #173).

added bug buildsystem labels

@christi , apparently it was you who introduced this option (in 2009). Do you actually use it? Do you prefer to fix it or should we simply remove it?

The code in dunecontrol works as at the beginning, so I neither see a reason to remove the feature, not to specifically ask me. Apparently there is a bug in cmake, but I'm not going to work on cmake.

Then let's at least mention that this option exists: !706 (merged)

closed