Implement onTitleChanged() to update frame title when needed

This allows the top Swing JFrame title to match the term title, and provide a better integration with window manager for example.