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