Improve header and footer
Improve header and footer

Summary:
This adds a site title that links to the home page, makes the links in
the navbar right-aligned, and bolds the active page. The footer text is
also replaced with something marginally more relevant.

Pending: a custom link component that does not employ an underline.

wchargin/wchargin.github.io,wchargin/wchargin.github.io