bug JBIDE-15919 - The API for installed plugins list is slow

Changesthe implementation if isPluginInstalled() so that it no longer
depends on a full list of installed plugins to be constructed. Also
installed plugin list cached now until a plugin is installed/removed.