Support reloading of resources

Extend the resource management facilities to support reloading of already loaded resources upon request (or perhaps on file changes).

I'm not sure if this makes sense for all types of resources, but at least for shaders and textures.

This requires some sort of resource registry to keep track of loaded resource, similar to the (obsolete?) `globjects::FileRegistry`.