Add a top bar with useful links

A bar that is located at the top of the page is added. It appears only after
logging in and contains some links and login information.