How do I generate module index files manually?

Issue

I would like to be able to generate the the module index file manually as our JBoss servers are run under users without write permissions. JBoss produces *-jar.index files for modules at run time, so these files will not be available for the core modules unless they are supplied in advance.