I'm not aware. I used a setup with multiple hosts to flash lots of Edisons with flashall cli. With that you can get quite a throughput.
the VID:PID of the edisons are the same so the flashall.sh script as it exist has no way of uniquely identify each edison. I see there is a -p option to dfu-util, perhaps if you know which port each edison is on you could modify the script to run on a specific port instead of just a "generic" edison device