Rename terminal

Give integrated terminals an identifiable and persistent name using Rename terminal

Helpful for organizing multiple terminal instances.