Vagrantfile for Coursera/Stanford Compilers course