Controlling some home automation with the Raspberry Pi