glViewer: dont do glFinish; use timestamp queries to get proper GPU timings instead