libsel4vm: Pass vm handle to vm_guest_add_iospace

Updated the parameters to the interface function
'vm_guest_add_iospace'. This change substitutes the vspace
parameter with the VM object. This allows us to abstract the
internals of the VM datastructure making the interface easier to
use.