Add deleteVAO and deleteVAOs.

These functions work around the broken ObjectName instance for the
VertexArrayObject type in the OpenGL package. In the library,
deleteObjectNames is implemented with a call to glDeleteBuffers, when
it should be a call to glDeleteVertexArrays.