git4idea: added git push dialog. minor refactorings and bug fixes