Fixed grub.cfg, minor changes to Makefile, modified Doxyfile