Arduino library for the MCP9800 temperature sensor from Microchip