Can anyone tell me what the license is for the puppet-dev-tools docker container?