Add a cache to the extension index

The extension index is used more and more and while it's not very costly to load an extension from the local Solr index, it would still be a lot faster to cache the extensions. Especially since it's very often the same extensions which are loaded (the first page of the default search, and the few ones which are searched for).