Nucloid v0.1.0-ef4a684b33

Nightly build of all latest changes.

The nucloid file is the final 64 bits ELF that can be booted by any multiboot2-compliant bootloader, e.g. GRUB.
The nucloid.iso is an ISO 9660 image containing a GRUB rescue setup, alongside the Nucloid ELF, for convenience: you can directly copy the ISO on a USB stick or boot in it a virtual machine.