Make doctools optional

2 jobs for master in 9 minutes and 34 seconds (queued for 111 minutes and 22 seconds)
Status Name Job ID Coverage
  Build
passed build_clazy_clang_tidy #103265

00:05:51

passed linux kf5-qt5 qt5.15 #103264

00:03:42

60.0%