Use syslinux bootloader to create bootable ISO images

Previously, we used Grub 1, which was problematic, because it is not
available on modern distributions.
Fix the name of ISO image when it is booted under qemu
Support booting Linux with isolinux

isolinux configuration must be different for Linux and for Multiboot
kernels.