add openGL texture cleanup to texture-manager instance finalize() method
-- should delete the openGL texture whenever the texture-manager is GC'd
-- which should happen whenever the GUI closes