Add robots.txt forbidding access to tor-mirror