Updated minor steps in HOL.md. Updated VM references to virtual machine