A Raspberry Pi Gateway for home automation and basic tinkering