An occupancy sensor built with Raspberry Pi