Implement user settings to activate/deactivate widgets by their types.
Merge branch 'gh-pages' of github.com:tkurz/lime into gh-pages
Not needed any more