Two simple tools to get information from XenStore