Leo Varadkar has officially become Ireland's new taoiseach (prime minister), as Micheál Martin swaps roles to become deputy.