Genode pkg for glmark2 from https://github.com/glmark2/glmark2
