The software that decides how a president's nuclear orders travel from command authority to satellite constellation just got a new developer — and it is not one of the names that has dominated ...