subversion servers file with proxy setting