Development environment for php phalcon framework using salt as provisioner