Function Terminal.setTitle

Changes the terminal's title

void setTitle(
  string t
);