Update play1 to round 9

Please add a file `play1/bash_profile.sh` that sets up the `PATH` variable as needed. [Here](https://github.com/TechEmpower/FrameworkBenchmarks/blob/master/frameworks/PHP/cakephp/bash_profile.sh) is an example - yours would use something like `PLAY_ROOT=$IROOT/play-1.2.5/play1` (from [play1.sh](https://github.com/TechEmpower/FrameworkBenchmarks/blob/master/toolset/setup/linux/frameworks/play1.sh))