Development environment based on Vagrant and Docker