TinyGL : a Small, Free and Fast Subset of OpenGL