Updater

Lots of changes to the updating system.
Feedback on when the update is finished.
Support for specifying git path.
Code trimming, and better logging.
Some JS trimming.