Ex-IRS examiner charged with naming whistleblower: prosecutor