Don't generate broken links to /docs/0.0/ in the sitemap

Generate proper /devel/ URLs, and then exclude them again in robots.txt
so we don't include them in google results, but we do include them in
our own.