Charles Kennedy trekt zich terug als leider van de Lib-Dems, zoals te verwachten was.