Web music player for Raspberry Pi based on mplayer