Docker verkoopt enterprise-tak en wijst nieuwe CEO aan