Genomebrowser data production added to genome index management scripts.
Merge tool editor war
Genome administration tools updated
TopHat tests
Merge branch 'master' of https://github.com/chipster/chipster.git
Use standard VaadinServlet in admin web
Merge branch 'master' of https://github.com/chipster/chipster.git

Conflicts:
	src/main/resources/build.number
Merge master
Tool editor fixes.
Script for making onevm output more informative.
Merge branch 'master' of https://github.com/chipster/chipster.git
Merge branch 'master' into data_beta

Conflicts:
	build.xml
	src/main/web/tool-editor/WebContent/VAADIN/themes/tool_editor/styles.css
	src/main/web/tool-editor/src/fi/csc/chipster/web/tooledit/TextEditor.java