Delete now-unneeded webgl.idl redirect. Now handled by the server. It didn't work anyway.
Merge pull request #530 from kenrussell/delete-idl-redirect

Delete now-unneeded webgl.idl redirect. Now handled by the server. It di...