[Bug 530254] New: Package mime-type information for Coq files