A quick guide to all things The Edinburgh festival, from dates and links to a mini History of the festival, by the Library Blog