top menu: 'Repositories' is really also a 'Home' button

'Repositories' had a href="#" but it wasn't used - the sub menu is loaded and
shown when hovering.

The '/' front page is a more verbose view of repositories. It thus make sense
to let 'Repositories' point there.