[wiki] tweak index
[wiki] use mirari to boot xen vms
[wiki] update hello world to new `mirage-skeleton`