The upstream latest tagged release does not work cleanly with github's
new more strict security policies.

The original vagrantfile was pretty bare-bones, and could lead to bad
behavior for students with a limited system. This version now will at
least give students a warning if their system has low resources.