Cross-platform Python music player specially designed for Raspberry Pi