Several fixes for building documentation

1. Use edgeware/python-markdown-graphviz where 657a2544d1b8fda47 fixed an issue with <ditaa> tags when documents were written on wintendo computers.

2. Include the 'extra' extension to support anchor links

3. Don't remove the anchors, markdown will handle that.