Audio playlist player using mplayer, with checkpointing