[doc] Convert .html to .rst.

This makes the information readable directly from GitHub or in a text
editor.  This removes the .html files and replaces them with a Makefile
to generate the same .html files from .rst source.
[doc] Convert .txt to .rst.

This will make these files more readable on GitHub directly.