Web browser front-end for the BeepBeep runtime monitor