Pak ‘informer’ tipped off US on Osama?