Shrink malleability This MR has as objective implement the shrink action (one or more servers leave the system) See merge request !304
