Repository refresh added after pull action

* HgRepository used instead of VirtualFile in PullAction;
* annotations added
DOM stubs: exclude some dom extenders from stub building
[log] Fix transitivity in compareTo

Relates to IDEA-124416
[git] fix some editable comboboxes
accept raw substitutors during diamonds inference (IDEA-124836)
read access
Merge remote-tracking branch 'origin/master'