Add VagrantFile that will build the BOOTX64.efi with vagrant

Just type vagrant up and BOOM, you get the EFI bootloader.
Fixes: #6