Automatically close and lock PRs from specific GitHub authors.

This auto-closes and automatically locks PRs from a set of users
(currently just one) who seem to be opening low-value or misleading PRs
that are not worth the human time it takes to review them, and have
persisted doing so even after several warnings.