stats: add a robots.txt to get rid of pesky bots