adds $wgRC2UDPOmitBots option
On a wiki whose recent changes are reported to an IRC channel using $wgRC2UDPAddress, a wiki bot working sufficiently fast causes the IRC bot to be kicked offline for excessive flooding. Adding a $wgRC2UDPOmitBots option would enable site administrators to suppress bot edits from being reported to the channel.
The accompanying attachment implements the option. Leaving $wgRC2UDPOmitBots set to false (the default) preserves the current behavior of sending all edits to UDP.