Make the build & tests work when we are in a separate build directory
mode. Build the „check“ testing framework in separate directory by
default, so we can explain what to ignore to .gitignore (so it doesn't
say there are untracked files in the submodule).