VM infra for OS kernel problems

The labs in UIUC CS 423 (#46) are all based on the Linux kernel, which the current Docker based infra does not support.

Since one focus is on OS labs, we will need to support VM-based grader. 

@tareknaser : Could you work with @paizhangliu to see how to set it up?