Issue #010: Adds Profile link to the header; this leads to the user page while Settings link (formerly "Account") lets the user edit his or her account information.