Have JSScript ids be meaningful outside of debug mode.

Used by the coach to distinguish between events in different scripts.