Enable HTTPS for website

[hlapp]

Through a partnership with Let's Encrypt Github allows HTTPS for custom domains since May 1. I suggest enabling this here.

You might need to trigger SSL cert issuance, see bioperl/bioperl.github.io#45.

[hlapp]

Correct DNS settings are now in place.

[josemduarte]

Thanks @hlapp! I'll look into this as soon as possible

[hlapp]

@josemduarte any update? I'm going to mention this at BOSC 2018 just after lunch, and Biojava is one of the two ones lagging behind. (Bioruby being the other one.)

[josemduarte]

Sorry for not getting back before. I did try some changes a few weeks ago but didn't have more time to look into it. Right now I've tried and https://biojava.org works just fine. I've just switched the default to https in github pages settings.

Thanks for the help @hlapp !

[hlapp]

Awesome, thanks @josemduarte for the prompt attention! Yay!