Satellite navigation systems for lunar settlements will require local atomic clocks. Scientists are working out what time they will keep