The CEO of Woolworths has announced that he's leaving the supermarket giant in September, after nine years in the top job.