check_ipmi_sensor: update to v3.5

Closes: #768018
Thanks: Werner Fischer <debian-bugs@wefi.net>
prepare 14.20141104 release