A Google Play Music frontend for the Raspberry Pi