Function Terminal.setTitle

Changes the terminal's title

void setTitle (
  string t
);