initialized git repo should use the set http_proxy

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