PIMP, a media player rest interface for the raspberrypi