Fixed issue #12 (user can choose if he wants to install grub or not)