[Edinburgh art festival 2019. Guide 25 July-25 August]