HTML5 sound effects player for live theatre