Changing placement of header tools

- Moving user tools to right
- Moving wiki icon and dropdown to left
- Various code refinements (e.g. renaming the sidebar elements to
“sidebar” instead of “rightbar”)