notifications: tweak PR mail subject lines The subject line is used for mail threading in gmail and can thus not be changed without impacting users ... but now we do it. * The tag '[Review]' is more spot-on than '[Added]'. * The subject should be short so it fits on one line, so abbreviate "pull request" to PR. * Add the PR owner - convenient for filtering comments on own PRs from comments on other PRs.