change root to home#index

because we need now the show for a page after signup
the landing_page will now home#index
introducing new home#show
disable write permission for remote repositories
fix upload ontology link
Add display fields to the small widget ontology
Add compiled ontology widget
Improve structure of JSON ontology bean
Add new compiled interface
Retrieve icon, type, topics, projects
Display ontology type when cursor hovers the icon
Commit compiled GWT interface
Merge branch 'staging' into 343-display_icon_type_category_projects
introduce after sign-up
introducing after signup page

using locales for complete content
Merge branch 'staging' into 582-disable_editing_on_mirrors
Merge branch 'staging' into 343-display_icon_type_category_projects

Conflicts:
	public/static/gwt/ontohub.nocache.js
Recompile GWT code
split access to private_r and private_rw
change access select box dynamically

This doesn't work yet because the event handler
function change_options is recognized as undefined
when passing it to .change(handler).

The select box only gets the applicable options
because *_rw is not suitable for a mirrored
repository.
finish select box option handling for mirrors

* remove `window.` to not pollute the global namespace
* fix on-change event handling
* select best fitting option when switching from
  mirrored to non-mirrored and vice versa