A coffee-brewing scheduler for Raspberry Pi