Make Extensions manager support zipped extensions and multiple repositories (local, github)
Use portable temp directory
Add extension installation by direct URL
Improve help message for extension installation