As local theatres tackle Broadway’s most technically demanding shows, new resources—from keyboard programs to prop exchange to tablet-ready scripts—provide a helping hand.