changed play -> activator in ProductionDist

Some examples still listed "play" as the command to execute, I changed it to activator.
Merge pull request #3605 from domdorn/patch-2

changed play -> activator in ProductionDist