Allow PLAY_VERSION to be set from command line when building

This comes in handy when releasing Play.