Move to https where possible.

Move to https where possible.

The main site now always redirects to https, so we can remove the
protocol agnostic links and update others as appropriate.

Whilst here, update a number of external links where they've changed
or gone, and use https where available.

Also make master downloads sites links - the traffic is hardly an
issue these days.