A Plugin to Export Coq Libraries to XML