The UK’s air traffic control system shut itself down after software confusion over an unusual flight path.