A radio alarm clock on a Raspberry Pi