Better session management for users.

* Show the current logged-in user
* Show the current folder used, with a better CSS than before (Bootstrap well)
* Give a logout link