A terminal for Docker containers in js