Ada Lovelace, Grace Hopper, and Donna Haraway step out of the margins and onto the stage. This one-hour documentary-meets-fiction performance traces the women who actually built our digital world, with a live robot in tow.