Simple tests for the Bootstrap navigation bar

This test simply checks that we've tried to put in a navigation bar
and the corresponding links.  It needs some fixing that will make it
more specific when a particular bug can be traced, but for now is
"good enough."