Split Mainpage.dox up

The front page content goes in README.md.  Other pages are now in
separate files under docs/.

It would be nice to convert some or all of the documentation pages to
markdown, so they can be easily read without running them through
doxygen first.