install doctool too

1 job for release/21.04 in 5 minutes and 43 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #96035
build_clazy_clang_tidy

00:05:43