Diarmait Mac Murchada, King of Leinster