Move the mkNamedPrims.sh script to platforms/Cross/util. Add
platforms/Cross/util/mkIntPluginIndices.sh, a script to generate defines for
builtin plugins such that each builtin plugin name is defined as its position
in the sequence of plugins. This is useful for e.g. a common logging facility
that needs to output to a different log file for each plugin.