add "Use OpenGL" checkbox in prefs #1212

Job	Run time
canceller	4s
tests-Windows-CLI (mingw64, x86_64, 3.8)	20m 8s
tests-Unix-CLI (ubuntu-20.04, 7, 3.8)	9m 39s
tests-Windows-CLI (ucrt64, ucrt-x86_64, 3.8)	20m 45s
tests-Unix-GUI (ubuntu-20.04, 5.9.5, 7)	4m 52s
tests-Unix-CLI (ubuntu-20.04, 11, 3.9)	9m 23s
tests-Windows-GUI (mingw64, x86_64)	12m 26s
tests-Unix-GUI (ubuntu-20.04, 5.15.2, 11)	5m 59s
tests-Unix-CLI (macos-12, 3.8)	15m 53s
tests-Windows-GUI (ucrt64, ucrt-x86_64)	12m 40s
tests-windows-latest-pacman (mingw64, x86_64)	1m 41s
tests-Unix-GUI (ubuntu-22.04, 5.15.2, 12)	7m 1s
tests-Unix-CLI (macos-13, 3.9)	16m 46s
tests-windows-latest-pacman (ucrt64, ucrt-x86_64)	1m 40s
tests-Unix-GUI (ubuntu-22.04, 6.7.2, 12)	7m 12s
tests-Unix-GUI (macos-12, 5.9.5)	7m 32s
tests-Unix-GUI (macos-13, 5.15.2)	8m 11s
tests-Unix-GUI (macos-13, 6.7.2)	10m 36s
	2h 52m 28s

Provide feedback