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
Fix radio-button misalignment in a systemic way
Add CSS classes for vertical and horizontal auto-alignment of groups of elements
Adjust margins of radio-buttons in spark-dialog
Fix radio-button alignment in general way + fix style of 'Deploy to mobile' and 'Push to webstore'
Indentation
type warning fixed for ace test
Add 'none' back for spark toolbar assert
remove other direct references to ace
Merge remote-tracking branch 'upstream/master' into fix-radio-button-misalignment
Merge pull request #2515 from financeCoding/ace_test_fix

type warning fixed for ace test
Fix checkbox alignment in dialogs
Merge pull request #2514 from financeCoding/spark_toolbar_fix

Add 'none' back for spark toolbar assert
Fix non-unique radio-button `name` in 'Publish...' & 'Deploy...'

Prevented the buttons in 'Deploy...' from being checked upon dialog opening.
Merge pull request #2513 from ussuri/fix-radio-button-misalignment

Polish 'Deploy to mobile' & 'Publish to web store' dialogs
Merge pull request #2388 from dart-lang/git_pull_fix

Git pull fix
Hack: hide WIP project templates in deployed code