- Added logout of users.
- Updated top menu so that it shows links depending on whether a user has been logged in or not.