Add empty robots.txt. Fixes #780.