SI-7109 SI-7153 Generalize the API to get docComments: allow to force docTrees
for allOverriddenSymbols. Test the new functionality as well as better tests for
the old one.