Vagrant-based Development Environment

Our research group uses [Vagrant](https://www.vagrantup.com/) to manage virtualized development environments. I created a Vagrant-based configuration to develop on PyExZ3. While this is may be too specialized to be hosted in the main PyExZ3, I thought I would share it since it is already written! Either way it is available in my fork of the project.

Perhaps as an alternative I could write a Linux configuration script for one of the more popular distributions (such as Debian or Ubuntu). This would be pretty easy since the Vagrant configuration is most of the way there.