Updated CoqIDE to 8.4pl5; Changed protocol to https