initialized git repo should use the set http_proxy

Non destructive change that will make proxy users, already behind a proxy whom are switching to use it, lives more bearable. Since atm fetchgit breaks in such situations.