Institution of civil engineers, London. Library