Portable API to set the terminal titlebar