webgl-timemachine: remove duplicate ctrl-v handler
webgl-timemachine: cope with pause and timeline scrubbing
webgl-timemachine: ctrl-a toggles video perf view, ctrl-b toggles verbose console