Fix md5 of opam-doc and add a more precise compiler constraint