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