#172 Decorations for the unselected extensions
#172 Re-indexation of extensions
#172 No indexation when the `svn` extension is disabled
#172 No Jenkins dashboard when the `jenkins` extension is disabled
#172 No package search when the `package` extension is disabled
#172 No issue/revision search when the `svnexplorer` extension is disabled
#172 Correct reloading of configurations