A fan control for the Raspberry Pi, written in Python