Misc. script formatting.
Rename AsciiDoc files to be rendered by GitHub.
Merge pull request #43 from MatthewFluet/asciidoc-guide

Update AsciiDoc guide