I don’t think such an extension already exists. A custom exporter could be written for this as a JavaScript Tiled extension.
I’m keeping a list of existing extensions on GitHub and there is a similar extension for exporting to GBA source files.
