Add a 'pull requests only' option to the IRC hook

This allows quieter channels to avoid too much traffic from pushes and comments, and just keep the important PR notifications.