Auto merge of #39966 - steveklabnik:update-mdbook, r=GuillaumeGomez

Update mdbook version

This version of mdbook includes
https://github.com/azerupi/mdBook/pull/207 , which is needed so that
we can start doing linkchecker on the various books.

Author: bors