Hadrian: introduce ways to skip some documentation targets