Updating government tech could be a big win for Trump—but he has no one to run it