Top IRA informer named