Puppet hires president from VMWare, revamps name and logo as it preps ‘for the next 10 years’