Tell robots not to crawl /svn


git-svn-id: https://www.dnssec-tools.org/svn/dnssec-tools/trunk@8090 c4029f9c-b713-0410-a448-fae9e31a314a
Merge branch 'master' into githubmaster