Upgrade the version of `mdbook` in CI to 0.4.17.