Made KDocTools optional

Matthieu Carteronrequested to merge
rubisetcie/k3b:doctool-optional into master

To be more inline with other components, in which KDocTools is an optional dependency.

Merge request reports