Bug 341721: Add context menu item to change terminal name

Change-Id: Idd41b58ad4f052c32d6a9c57303f1b9ef05aff7c

Author: jonahgraham

terminal/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalViewControl.java

@@ -166,4 +166,9 @@ public interface ITerminalViewControl {
 	 * @since 4.1
 	 */
 	void removeMouseListener(ITerminalMouseListener listener);
+
+	/**
+	 * @since 5.1
+	 */
+	void setTerminalTitle(String newTitle);
 }