The world’s most popular doll, with a hot-pink blueprint tube and a hard hat: friend or foe to a profession already suffering from a pronounced gender gap?