Convert all ftp.cs.ru.nl links to https

Mart Lubbers
2018-05-14T12:43:19+02:00

ftp is less stable, less secure and if broken in a travis docker