Funeral of IRA leader Brian Keenan