Download/unpack VirtualBox image using native Nixpkgs

This ensures that it works on non-Linux hosts.