Add progress component to Git push dialog.
Update git push dialog with progress.
Update button names.
Merge branch 'master' into git_push_dialog
addressed comments.
Merge pull request #2075 from dart-lang/push_dialog

Make push dialog persistent.