Updated CoqIDE to 8.4pl5; Changed protocol to https
Merge pull request #7472 from fharbe/coqide

Updated CoqIDE to 8.4pl5; Changed protocol to https