Updated to version of script I actually use

This is just a small utility for renaming VMs (assuming names aren't nasty
strings with special characters in them), because VMWare Player doesn't allow
cloning, and sometimes two copies of the same image are needed.