By Jonathan Perraton  EU leaders have agreed a short extension to Brexit until October 31 at the latest, in order to give the British