make InteractiveShell.banner a property