update wiki url (repo rename rumpuser-xen -> rumprun-xen)