Docs: sitemap generator, basic robots.txt.  Fixes #916.