Filtered event navigator for WebGL events.

Filtered the events in the event navigator so that only WebGL-related events are displayed. Each event within a step has been associated with a context handle in the event navigator.
Merge pull request #395 from chihuahua/hideNonWebGlEventsFromEventNavigator

Filtered event navigator for WebGL events.