Butter topping for pretzels