A simple shell script and Vagrantfile combination that creates a virtual machine with mypy installed