html5 video: add play/pause to default UI, refs #132