Build system modernization#210

zayenz wants to merge 20 commits intorelease/6.3.0Gecode/gecode:release/6.3.0from

build-modernizationGecode/gecode:build-modernizationCopy head branch name to clipboard