Script to set title

Cool! I’ve been planning to add this as a built-in feature, but this should tide people over. Beware that running the script will clobber the clipboard contents.