Use updated libvmm

[Ivan-Velickovic]

Part four of the tutorial goes over virtual machines. An old version of libvmm is used and distributed with the tutorial code. Instead, we should pin to a version of libvmm.

[Ivan-Velickovic]

Also probably don't need to emit so much of the Linux logs.