gl-renderer: Improve GPU profiling accuracy
GPU profiling of the GL renderer is rather inaccurate because it uses fence syncs to measure GPU timings. This merge request tries to improve the situation by using the GL_EXT_disjoint_timer_query
extension to retrieve more accurate GPU timings.
Fixes #342 (closed)