A time-of-flight detector for CDF