Should I use Vagrant or Docker.io for creating an isolated environment? (stackoverflow.com)