Update URL to oo-diagnostics in docs.

oo-diagnostics has been moved from util to commin/bin.
Github now uses githubusercontent.com to serve some content.