Denis Donaldson was shot dead in Co Donegal in 2006, months after admitting his role as a police and MI5 agent over 20 years.