ipmi plugin: Add a plugin to read sensor values via IPMI.