Change extension from doc to asciidoc so that Github will render the document; Also fix markup issues

The markup issues were caused by ListingBlocks with unequal number of opening and closing minuses.