4.01.0

@jnfoster could you verify and merge this

ocaml-topology isn't on travis yet, unfortunately