pts/glmark2-1.2.0 - 15 September 2020 - Update against glmark2 Git, particularly to fix modern Python3 issues.