米VMware、システム管理自動化ツールの米Puppet Labsに3000万ドルの追加投資