Provision phppgadmin using Salt