Let builds override build flags as planned
Builds are supposed to be able to put additional files into /duneci/cmake-flags
to override or extend the build configuration. This currently fails because the directory is only writable by root. Fix that problem by changing its owner to duneci
.