Skip the docs check on pull requests with the no-docs label

The docs check now also honours the no-docs label, not only the description text.