Broken mailing list links

[sankalpgambhir]

The links for the Vampire mailing list seem to be broken. I've tried on a couple devices so I think it may be an issue with the link itself.

Eg:

vprover.github.io/download.html

Line 13 in c5fd562

We encourage users to sign up to our <a href="https://groups.google.com/d/forum/vprover">Mailing List</a> to receive updates about new releases and other news.

vprover.github.io/index.html

Line 22 in c5fd562

It would be great to hear from you if you are making use of this new licence within your work. Please join our <a href="https://groups.google.com/g/vprover?pli=1"> very low-traffic mailing list</a> for updates.

vprover.github.io/_posts/2017-12-10-vampire-mailing-list.md

Line 7 in c5fd562

We have set up a new mailing list to allow us to contact those interested in Vampire. You can sign up <a href="https://groups.google.com/d/forum/vprover">here</a>. Traffic will be very low (new majory releases, publiciations, competition successes etc).

[MichaelRawson]

I'm not sure we actually have a mailing list any more; @selig might know. Thanks for the patches; I've just opened a PR to significantly reduce the website's content and point to the Vampire wiki, once that's done I'll see what still needs fixing.

Also, sorry for the delay! The website needs some love.