use a central scss file for annis-theme

Set back default font-size from 13px to 10px.
Merge remote-tracking branch 'refs/remotes/pixeldrama/vaadin7' into vaadin7

Conflicts:
	annis-gui/src/main/webapp/VAADIN/themes/annis/styles.scss