some doc tweaks

* move travis-ci README into devguide
* add a documentation index page
* add more badges to devguide to please Andi
* update ancient top-level README.md