Update mkdocs version

By using python 3.11, we get a performance improvement. It now takes ~6 minutes to generate the page, as opposed to ~9!