Version bump of pysnmp to 4.2.5 (move me to the tree, please!)