This finally gives users complete control over the GL loading mechanism,
and also makes libdl optional.

Mirror the vulkan-link option by making the opengl-loader option
non-mandatory.