Complete migration of docs to navigation.ros.org #1653
Description
- remove docs from this repo
- add move to change list in docs
- redirect the github.io address to new address
- move keys and jobs for generating docs
- announce changes to WG and Discourse that links may die