Add user-specific text to header. Still needs changes to LoginServlet or
HttpSession to work properly.