Which container to choose for typical web development. these days the words Docker, Vagrant, Chef, Puppet ... are everywhere, and I am confused which one to use in relation to what I do or need. 

My environment workflow consists of using Virtualbox, CentOS 7 in my HP laptop, then I push production code to my 64bit VPS running CentOS 7. 

I am usually using Nginx, PHP-FPM, MariaDB ... so I don't know what I should use to Docker, Vagrant, Chef, Puppet ... 