Ireland's prime minister Leo Varadkar resigns.