[Rivet] [Professor] RivetProfessor Virtual Machine

[David Grellscheid]

Hi everyone!

what do you think about including a ready-made commmand with an rsync 
setup that can be used to update the generator part of the VM from a 
master location?

I'm thinking mainly of the handful of little patches and bug fixes that 
in the past we've always had to deploy during the school. Instead of 
rebuilding those on each user's VM, we could just rsync the binaries.

I'll also join in the thanks to Daniel!

   David