Boris Johnson is officially out as British PM after announcing his resignation in July.