cleaning up for the Coptic corpora

- updating to Vaadin 7.0.4
- using the Sass stylesheets instead of the legacy CSS
- font configuration allows to set a font size