coqPackages.containers: correct sha256 for the tarball