Fix git pull.
Update localHead on git pull.
Refresh treeView on pull complete.
Merge branch 'master' into git_pull_fix

Conflicts:
	ide/app/lib/git/objectstore.dart
Merge pull request #2388 from dart-lang/git_pull_fix

Git pull fix