Fix toggle of menus
Add compiled GWT files
Merge branch '825-hide_other_dropdown_menus' into develop

Conflicts:
	public/static/gwt/4F7890F153B3066234460CEA02D5BBFB.cache.html
	public/static/gwt/5FF3A81317D7842C1D2463ECC5F4DBC9.cache.html
	public/static/gwt/8C55CD45DBE40EBA3332655E98E76FC7.cache.html
	public/static/gwt/A40C91BEA6064CA08E277EBA6CBE7230.cache.html
	public/static/gwt/A928378826200272C57367F3E44053C5.cache.html
	public/static/gwt/DB448C04C3A8D83FCBA8AF438D0857E1.cache.html
	public/static/gwt/ontohub.nocache.js
Merge branch 'develop' into develop.ontohub.org