Fix #947

The missing files for fix #947. Source hightlighting with Pygments in AsciiDoc.