This also fixes some mixed content pages on genode.org and, thus, removes the ugly browser warning, e.g., on https://genode.org/documentation/release-notes/17.05.
The binaries were moved to the genode.org webserver as free bandwidth of the previous Github LFS was depleted. Fixes #1902