Remove ordering prefix from emitted .js files

This is preliminary work going in the direction of #292, but which allowed for not using a number as prefix for emitted .js files for ordering, but rather store that ordering prefix in an ad hoc .sjsinfo file.

Since it is useful in its own right, I thought it could be reviewed and merged independently.