doc: Do not build documentation by default
Hopefully, this will save some time both in CI (only one job, debian:cmake
will build the docs now) and to Monado developers that didn't notice they needed to disable the BUILD_DOC flag to reduce build times.