app: add extension installation in GimpExtensionManager.
This completes my earlier commit 406279e4. Extension installation is not about just decompressing a file in the right folder. We must also make the extension manager and the GUI aware of this newly available extension.
Showing with 160 additions and 61 deletions