A terminal multiplexer (like tmux) in Python