added GRUB delete, provision support, vagrant pub key