git-proxy improvements

  - fix check of socks.proxy configuration variable
  - fix documentation