Add the "Bugs" menu element on the default header.  Progress on
implementing bug tracking.