README -> README.asciidoc: give GitHub-friendly name