add script for renaming long names into shorter ones

The primary benefit is that this keeps the name column shorter and
therefore closer to the channel column. Another benefit is that the
shorter name is more likely to turn up as-is in text, leading to
improved colorization.