It's the beginning of August, which can only mean one thing for UK theatre types: Edinburgh. The festival is a traditional rite