Remove dropdown links to Jenkins and dist summaries

This commit removes the links in the navbar to the proposed
Jenkins and distribution summary views. The usability and
need for these views is questionable, and they will probably
not be implemented.