Add a new, default-on option to show OpenGL URLs.

config.example.php: added the new "show_opengl_url" boolean option.