Integrater Jelmer patch and implement a more robust solution.
* ui.py: (GtkUIFactory._progress_all_finished): *Don't* uninstall the widget.
* branchview/treeview.py: (TreeView.__init__): Unconditionally install the progress widget that will remain active until someone else install one or the TreeView is destroyed.