Added Ubuntu 13.10 boot menu.