CI: Allow only triggering the doc-build pipeline

[leofang]

Currently /ok to test <commit> fires up the full CI. We should allow a doc-only trigger which skips most of the build pipelines (but the one that is used by the doc CI) and all of the test pipelines.