Update odoc_tags.ml