Made KDocTools optional

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

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

Merge request reports