git4idea: added support for the future -v option for git clone (untested)