change elaboration.xsd to add output file formats
(preserving compatibility)