Fixed localization bugs. Improved workspace bar for users with more workspaces. Added favicon.