Fixes #694.
The new terminal_mux server is able to provide multiple terminal sessions over one terminal-client session. The user can switch between the different sessions using the keyboard shortcut C-y, which brings up an ncurses-based menu.