php-bartlett-PHP-CompatInfo: add upstream patch for SNMP extension