Rename PHP53 to cs-dev box. Use base box from Vagrant hashicorp/precise64.