Irish police arrest former IRA leader