Make the sphinx theme work without main_menu defined

http://ralph.allegrogroup.com/buildbot/builders/unittest-ralph-deshipu/builds/196