Add (mirrored from $url) on repository index pages

When a repository is mirrored from another location, the site may
want to list the upstream URL to document where it is mirrored from.

Change-Id: Ic717d5b43b2e1e3d7cf488a3172c7ca60874ac8d
4 files changed