Added a hotkey (F5) to reload the OpenGL shaders