some missing dependencies
Merge pull request #405 from firedrakeproject/build_docs_dependencies

some missing dependencies