Remove hard dependency on mpi4py when building documentation

This completely breaks building the website, and I can't quite make out whether it's necessary, so let's just try getting rid of it.