Move tab preference definitions into the plugins. Fixes #30
Fix initial heightInPixels ad widthInPixels values
Use box-sizing: border-box by default for the body of widgets using the platform style
Fix problems reinstalling operators
ModelTable improvements
Fix migration from old wirecloud releases