Just in case someone tries the Binder environment: it's currently broken for lots of dependencies

[Naereen]

See this issue on https://github.com/edmcman/ocaml-jupyter-binder-environment/issues/1

Lots of missing packages, some notebooks are broken #1