A threshold cherenkov counter for isotopic identification of high-energy heavy ions