Upgrade to Debian 9 (a.k.a. stretch)

Change-Id: Ibc0b20a8fd331816cfcccc7a8877efe12fdf8e37
diff --git a/vm/Vagrantfile b/vm/Vagrantfile
index 1404131..e72e26a 100644
--- a/vm/Vagrantfile
+++ b/vm/Vagrantfile
@@ -16,12 +16,12 @@
   # please see the online documentation at vagrantup.com.
 
   # Every Vagrant virtual environment requires a box to build off of.
-  config.vm.box = "debian/jessie64"
+  config.vm.box = "debian/stretch64"
 
   config.vm.provider "virtualbox" do |vb|
     # Don't boot with headless mode
     vb.gui = true
-    vb.name = "FRC971-Development-2017"
+    vb.name = "FRC971-Development-2018"
 
     # There are two shortcuts for modifying number of CPUs and amount of
     # memory. Modify them to your liking.