Rewrite OpenGL frontend

Use a differnt GLFW library since the old one stopped compiling.