Build system modernization#210

zayenz wants to merge 16 commits into

release/6.3.0Gecode/gecode:release/6.3.0from

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