Merge pull request #50 from pmatti/master

setFilterWidth takes margin into account
Added import for MeasuredSize and applied vaadin code formatter
Upped version number for release
minimized the hearbeat interval of demo app, remove dead instances
Add a setting that wraps filters with divs and allows more refined
styling filters (borders, margins etc.)