Remove generated files

Many of the files in extensions are generated, and thus
do not need to be in the repository. The Khronos web site
picks up changes to the repository and generates the content
automatically.