Added support for doconce format with file extensions .do and .txt, not only .do.txt.
Merge branch 'master' into gh-pages