Robertson, William, Principal of Edinburgh University