Audio player with REST interface for the Raspberry Pi