DeepSteve: A hackable web-based multi-terminal for AI coding agents (deepsteve.com)