avoiding some Salt performance bottlenecks in SaltAnnotateExtractor
activae GZIP compression for server and actually use the deserialization parameters for SaltProjects
allow to import files for a toplevel corpus and use the imported media_files for the HTML visualizer
smaller fixes
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
show instance name first
Merge branch 'refs/heads/master' into htmlvis
do not use fixed size for KWIC
type arguments needed to be adjusted as well
allow to output parser errors
better ordering and provide both full-text and match-text visualizers
allow to ouput HTML attributes