Upgrade doctools to fix file copy issue and slightly borked code snippets in HTML5. Start using disqus integration located on the docs server.