Scott Thompson, Yahoo’s third CEO in about three years, has officially left the building.