What is the world record pit stop time? How fast can you go in the pit lane? CNBC crunches the numbers.