Former IRA chief turned Irish political leader dies