Rename ASCIIDOC sources to .asciidoc so that they are viewable online with Github

The .txt extension is not recognized by Github, and it does not convey much semantic.