Merge pull request #2 from korpling/develop

Merge into amir-zeldes:develop
replace refresh icon
document browser icon and info icon replaced
also replace info icon in other places
query icon and example query representation updated
help/examples and login updated
upgrading to Vaadin 7.3 release candidate
import the valo theme
cleaning up
some more sizing experiments
Merge remote-tracking branch 'tk/feature/fontawesome' into feature/valo

Conflicts:
	annis-gui/src/main/java/annis/gui/MainToolbar.java
	annis-gui/src/main/webapp/VAADIN/themes/annis/annis.scss
	annis-gui/src/main/webapp/VAADIN/themes/annis/styles.css
use our own font icon theme
setting to ANNIS background color (and thus also updating the other colors)
restore the scrolling for the kwic panel
don't set the width of the info column manually
new icons for export, frequency and citation
cleaning up styles
less padding
center sidebar button
replace the expand/collapse icons