Flotilla: a fleet of coding agents, supervised from one tab