pass the actual option for grub-install
add copyright note
should support xen in menu.conf and grub.cfg
free props function rename