A python script for generating OpenGL extension and core profile loaders.