Remove tooltips plugin.

Using more than browser tooltips is pointless given the fact that
they are of little use on touch devices anyway. For tooltips con-
taining HTML markup, overlays are probably better.
Remove responsive nav plugin.

The responsive nav plugin is too much overhead. Its functionality
can be replaced with just a few lines of (S)CSS and JS, plus it
doesn't seem to perform too well on mobile devices.