Switch theme, fix navigation

This PR switches the theme to the Bootstrap-based one by Surya Kasturi, and fixes the currently extremely broken navigation structure of the site.

Also, Trac->Github and remove some outdated information.