Run the command below to convert all URLs for *dev-www.libreoffice.org*
to use the more secure HTTPS URL.

```
git grep -l 'http://dev-www' | xargs sed -i 's,http://dev-www.libreoffice.org,https://dev-www.libreoffice.org,g'
```

If a redirect is implemented for the insecure HTTP requests, also one
request would be saved.

```
$ curl -I http://dev-www.libreoffice.org
HTTP/1.1 200 OK
Date: Wed, 17 May 2017 10:00:52 GMT
Server: Apache/2.2.12 (Linux/SUSE)
Content-Type: text/html;charset=ISO-8859-1

$ curl -I https://dev-www.libreoffice.org
HTTP/1.1 200 OK
Date: Wed, 17 May 2017 10:00:57 GMT
Server: Apache/2.2.12 (Linux/SUSE)
Content-Type: text/html;charset=ISO-8859-1

```

Change-Id: I99626ded90f72239f98ce76fd1b2760c31c34408
Reviewed-on: https://gerrit.libreoffice.org/37703Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Miklos Vajna <vmiklos@collabora.co.uk>