Batch generation for a collection of CamilleX source files

[tshoang]

When importing a project with CamilleX source, the XText builder cannot automatically generate the corresponding Rodin files. As a result, users often need to go through each CamilleX files (in the right order) to generate them manually (i.e., making changes to the source file, e.g., adding a blank space, and saving it again to enable the generator.
It would be nice to have a way to do this automatically.

This is requested by Jonathan Hammond via private email (December 2020).