avoiding some Salt performance bottlenecks in SaltAnnotateExtractor
activae GZIP compression for server and actually use the deserialization parameters for SaltProjects
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
do not use fixed size for KWIC
Add basic pdf support based on pdfjs. If you check in a new version of pdfjs,
please use the google closure compiler with following command, to compress the
really huge library.

$ java -jar compiler.jar --js ./build/pdf.js --js_output_file pdf.js
--language_in=ECMASCRIPT
Grid visualizer will also react to page number events.
PDFViewer class must hold the input, wrapper and visToggle state.
use the result id of the vis input for pdf html id
forgotten to set the id
add pdf icon to grid view