proxy config for subversion