An introduction to setting up and managing development server virtual machines using Vagrant, Virtual Box, and Linux