Så blir Mays sista – och Johnsons första – dag som premiärminister.