The first release of DexprOS binaries.

• BOOTX64.EFI is the UEFI executable file,
• diskimage.img is a file ready to be attached as a drive to a virtual machine.