The first time the musician teamed up with the animated film franchise was a decade ago, when “Happy” became one of the most inescapable pop tunes in recent memory