[m-rev.] www diff: Update bugtracker and mailing list URLs.

[Paul Bone]

For review by anyone, I've discussed the choise of the new URLs with Julien.

Update bugtracker and mailing list URLs.

We've purchased an SSL certificate for www.mercurylang.org (it also works
for mercurylang.org).  Previously we had self-signed certificates for the
bugtracker and mailing list virtual hosts.  To make the one (more secure)
certificate work for the bugtracker and mailing list I've moved them to new
URLs.

    https://www.mercurylang.org/bugs
    https://www.mercurylang.org/lists

The mail archives are now at the following URL, which does not use HTTPS so
that proxy servers can still cache this content.

    http://www.mercurylang.org/list-archives

I've added redirects for all the old URLs so that users' browsers will
automatically navigate to the new URLs.  The Google bot and other search
engine crawlers will also follow these to understand that our content has
moved, this is important for the mailing list archives.

This patch updates these URLs on the website.

include/menubar.inc:
    Update the bugtracker's URL

include/contact.inc:
    Update mailing lists' and bugtracker's URLs.
---
 include/contact.inc | 30 ++++++++++++++++++++----------
 include/menubar.inc |  2 +-
 2 files changed, 21 insertions(+), 11 deletions(-)

diff --git a/include/contact.inc b/include/contact.inc
index 4d32bab..b3badfc 100644
--- a/include/contact.inc
+++ b/include/contact.inc
@@ -8,7 +8,7 @@ following mailing lists.
 
 <p>
 Bug reports may also be added to the
-<a href="https://bugs.mercurylang.org/">bug tracker</a>.
+<a href="https://www.mercurylang.org/bugs/">bug tracker</a>.
 If sending a bug report, please enclose as much information as possible,
 including, if possible source code (such as a small test case that exhibits the
 bug), any error messages encountered, operating system version, and
@@ -28,12 +28,14 @@ User support questions are best handled on the mercury-users mailing list.
 
 <p>
 There are four Mercury
-<a href="http://lists.mercurylang.org/">mailing lists</a>:
+<a href="https://www.mercurylang.org/lists/">mailing lists</a>:
 </p>
 
 <ul class="nonindentlist">
 <li>
-<a href="http://lists.mercurylang.org/listinfo/announce"><span class="mailinglistname">mercury-announce</span></a>
+<a href="https://www.mercurylang.org/lists/listinfo/announce">
+    <span class="mailinglistname">mercury-announce</span>
+</a>
 is a very low-volume list for announcements about things directly related to
 Mercury, e.g. new versions of the Mercury implementation, tools for Mercury
 programmers, books about Mercury, etc.
@@ -41,22 +43,27 @@ programmers, books about Mercury, etc.
 
 <li>
 The
-<a href="http://lists.mercurylang.org/listinfo/users"><span class="mailinglistname">mercury-users</span></a>
+<a href="https://www.mercurylang.org/lists/listinfo/users">
+    <span class="mailinglistname">mercury-users</span>
+</a>
 list is intended for general discussion about Mercury and related matters of
 interest to Mercury users.
 <br/>
-It is <a href="http://lists.mercurylang.org/pipermail/users/">archived</a> and searchable.
+It is <a href="http://www.mercurylang.org/list-archives/users/">archived</a>
+and searchable.
 </li>
 
 <li>
 The
-<a href="http://lists.mercurylang.org/listinfo/developers"><span class="mailinglistname">mercury-developers</span></a>
+<a href="https://www.mercurylang.org/lists/listinfo/developers">
+    <span class="mailinglistname">mercury-developers</span>
+</a>
 list is intended for general discussion about the development of Mercury and
 the Mercury implementation and related matters of interest to the developers of
 Mercury.
 <br/>
 It is
-<a href="http://lists.mercurylang.org/pipermail/developers/">archived</a>
+<a href="http://www.mercurylang.org/list-archives/developers/">archived</a>
 and searchable. Note that in recent times, most the actual development
 discussion seems to be done on the mercury-reviews list, rather than
 mercury-developers.
@@ -64,7 +71,9 @@ mercury-developers.
 
 <li>
 The
-<a href="http://lists.mercurylang.org/listinfo/reviews"><span class="mailinglistname">mercury-reviews</span></a>
+<a href="https://www.mercurylang.org/lists/listinfo/reviews">
+    <span class="mailinglistname">mercury-reviews</span>
+</a>
 list is intended for use by the developers of Mercury, for the purpose of
 reviewing changes to the Mercury implementation (including documentation, test
 suite, etc.) and the Mercury web site. This list is specifically for posting
@@ -72,7 +81,7 @@ diffs, reviews of diffs, and discussion of issues raised in such reviews. It
 tends to be a fairly high-volume list.
 <br/>
 It is
-<a href="http://lists.mercurylang.org/pipermail/reviews/">archived</a>
+<a href="http://www.mercurylang.org/list-archives/reviews/">archived</a>
 and searchable.
 </li>
 </ul>
@@ -101,7 +110,8 @@ Please use the search bar below to search the archives:
 <form class="searchbar" method="get" action="http://www.google.com/search">
   <input class="textbox" type="text"  name="q" size="40" maxlength="255" value="" />
   <input class="submit" type="submit" value="Search" />
-  <input type="hidden" name="sitesearch" value="lists.mercurylang.org/pipermail"/>
+  <input type="hidden" name="sitesearch"
+    value="www.mercurylang.org/list-archives"/>
 </form>
 
 <h3>Other communities and social networks</h3>
diff --git a/include/menubar.inc b/include/menubar.inc
index 9217e7c..8d86f0c 100644
--- a/include/menubar.inc
+++ b/include/menubar.inc
@@ -67,5 +67,5 @@
 	?>
 <a href="<?php echo $root?>/contact.html"><li <?php if($menu == 'Contact'){ ?> class="current" <?php } ?> >Contact</li></a>
 <br/><br/>
-<a href="https://bugs.mercurylang.org"><li style="font-family: georgia; line-height: 1.2em">Bug Tracker</li></a>
+<a href="https://www.mercurylang.org/bugs"><li style="font-family: georgia; line-height: 1.2em">Bug Tracker</li></a>
 </ul>
-- 
1.8.5.3