Planet via HTTPS

Created by: das-g

Let's use HTTPS for fetching the planet (the mirror we use supports that) and for linking to it (planet.openstreetmap.org will soon redirect to HTTPS, cf. openstreetmap/operations#200)