Michael Stahnke, Puppet Labs, Inc.