Housekeeping on my local repo
merging develop branch from origin to the local develop branch
Adding reference to the new Vagrant box with Jenkins plugins and jobs installed