external-links.js

This patch adds some external links to the docs navigation section.
Since mdbooks doesn't support this by default, this adds a JS file as
workaround, which avoids forking the theme or writing an extension for
mdbooks.

References:
https://github.com/rust-lang/mdBook/issues/1354