Add redirect pages for docs/dev/BOSS*.

Could probably use some HTML text/linking for people that have disabled
automatic redirects in their browser.