Doxygen fixes

Some doxygen fixes, should now:

• correctly link to the "Related pages/Design" page from the main page
• correctly embed the "design" figure
• print the timestamp indicating when the page was generated