GitHub HTTPS url nitpick

GitHub gebruikt https overal. Het is iets netter als de link dan ook gewijzigd wordt in een https link.