some python interface to xm,xl, xenstore, etc