Added jQuery as it's required by bootstrap.

This fixes JavaScript errors on http://phpunit.de/manual/ and makes the "hamburger" navigation work.