It was widely expected that Google’s new Android mobile operating system would be called Key Lime Pie, following the tradition of oddball names (Gingerbread, Ice Cream Sandwich, Jelly Bean etc) but it has now been announced that the next version will be called…KitKat.