Add missing finalizer (so Dispose is called and the available_contexts dictionary gets updated). [#12212] Reported as http://www.opentk.com/node/3330