Changed Doxygen options to include navigation on the left.