Moved puppet/ to its own repository.