Configure TinyVMI

Before configure TinyVMI, it is required to install Xen with FLASK enabled and to have a guest VM to be monitored by TinyVMI. To do so, see instructions here.