Hide other dropdown menus when a new one is opened
Add compiled GWT code
Add compiled GWT code
Fix toggle of menus
Add compiled GWT files
Merge branch 'staging' into 825-hide_other_dropdown_menus

Conflicts:
	public/static/gwt/ontohub.nocache.js
Merge pull request #844 from ontohub/825-hide_other_dropdown_menus

Hide other drop down menus when a new drop down menu is opened