The repository browser still uses ARM name

As ARM is now called Nyx the trac repository browser should reflect this renaming.

That said, is the repository browser even used with [https://gitweb.torproject.org/] in place?