De integrale tekst van de herziene Brexit-deal van 17 oktober 2019, met een nieuw protocol voor Ierland en Noord-Ierland.