sphinx extension to output Devhelp documents
