Mali Graphics Debugger: User Scripting