Modify some names and small cleanup, add favicon.

I renamed home/login.html to home/main.html because the latter didn't
really make sense. I think login.html should be used for the actual login
page.