Institution of Civil Engineers (Great Britain). Library