Trump may not like government employees but indiscriminately firing tens of thousands of them isn’t sound public policy.