updating to vaadin 7.1.12
Refactor the document browser. Use Jackson for parsing json configuration files
and data binding.
Inheritance works not with jackson.
Remove the DocumentBrowserConfig-cache, since it is stupid. It has to be cached
corpus wise.
Update documentation.
Correct docu.
fixed uncompilable code
Fix some findbugs warnings
Match positions start counting from 1 instead of 0 for match position
in single result title bar.

closes #292
don't write the EMF serialization of SDocument directly to the ObjectOutputStream but use an intermediary string representation instead
creating the future and the thread executor in the loadVisualizer function allows to reload the page without loosing the CSS injection
we don't need the non-serializable member variable
don't use session variable for the already added CSS
remove CSS inject plugin dependency
add instancefont to frequency result table
fix #297 (notification when export is finished will be given to wrong user)
updating the tutorial
actually provide a manual serialization ID for the classes that serialize SDocument
don't include unecessary vaadin widget compiler in distribution
updating version to 3.1.0-rc1