Move documentation to doc directory

Rename AsciiDoc files to have the extension .asciidoc so that GitHub
will display them.