A collaborative web interface to a music player running on a lightweight server like a Raspberry Pi