Made KDocTools optional

Matthieu Carteronrequested to merge
(removed):master into master

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

Merge request reports