Update opam file, we need 4.01 because of Format.asprintf.
Fix last release date.