Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents - manaflow-ai/cmux