Entertainment Nine of the highlights to look out for as Edinburgh Festival 2020 goes virtual August 1 2020