glproxy: Added new flavor that uses glproxy to access the selected
backend.
Options: Added a --backend option to select which backend (glx, egl-gl,
egl-es2) to use. The available values depend on the executable's flavor.