Update cmdliner to 0.9.4

Among the issues fixed in cmdliner 0.9.4 is the leaking temporary files bug for such things as `opam --help`