A simple HTML5 based timer for timing presentations