HTML5 web audio mp3 playlist player, intended for use on my ios device