Use bootstrap's navbar instead of custom nav

This PR changes the navigation to use bootstrap's standard navbar instead of the custom nav with nav-pills.
This will change the look from the bluish menu links to bootstrap's default navbar links.
I'm not sure whether it is ok to change the look.
Nevertheless, I think the standard navbar should be used since the look can be customized, anyways.
Furthermore, this navbar is responsive.