convert old preference "alwaysShowDKIMHeader" to new one