Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents