Many consumers ditched ChatGPT’s app after news of its DoD deal went live, while Claude’s downloads grew.