Obsessive fans were right—Häagen Dazs did tweak their vanilla recipe