Make doctools optional

2 jobs for master in 12 minutes and 16 seconds (queued for 100 minutes and 24 seconds)
Status Name Job ID Coverage
  Build
passed build_clazy_clang_tidy #103263

00:08:00

passed linux kf5-qt5 qt5.15 #103262

00:04:16

7.0%