Last October, during the heat of the election, we looked at a survey of federal employees which claimed that 35% of them were actively considering leaving their jobs if Donald J. Trump were to be elected president.