Remove orphaned and confusing PonyDocsExtension::ClearNavCache() method

We're removing this method, and replacing the non-existent $ponydocsMediaWiki configuration array with the real one, $splunkMediaWiki. Of course this array doesn't exist in a generic installation of PonyDocs - we'll replace it with something better in the near future.