A short history of Edinburgh University Library