Add resume link, change header style, rename index

There is now a self-referential link in the resume for when it's
printed. The style of links in the header has been slightly improved.
resume.html is now index.html, which should allow shorter urls.