org-gerrit: create progress-reporter object once
org-gerrit: add server information in the properties
org-gerrit: remove "Patch " in headline