Update to BS3 and other improvements.

- Update to Bootstrap 3.
- Eliminate server Makefile
    - Write CSS directly instead of using less.
    - Concatenate js and css files at runtime.
- Fix capitalization of GitHub.
- The 'jump' to export feature is disabled for now.