So Boris Johnson has resigned as priminister here in the UK