A simple GUI widget library, using OpenGL and Lua