Fixes #87

Plus fixes some height issues, compacts the devtools theme, speeds up
everything by caching preferences, remove the long explanatory tooltip
from breadcrumbs and replace it with their value.
Merge branch 'master' of https://github.com/scrapmac/UIEnhancer