Use HTTPS for Coverity

Upload the Coverity build data using HTTPS, now that it's supported.
Also add "--include" to get the HTTP headers, to help with future
automated upload failure detection.

Author: tlyu

buildbot/master.cfg

@@ -171,7 +171,7 @@ f3.addStep(Git(repourl=anonrepo, mode="clobber"))
 f3.addStep(Configure(command="(cd src && util/reconf && ./configure --with-ldap)"))
 f3.addStep(Compile(command="(cd src && cov-build --dir cov-int make)"))
 f3.addStep(ShellCommand(command=["tar", "-C", "src", "-zcf", "kerberos.tgz", "cov-int"], description="tar", haltOnFailure=True))
-f3.addStep(ShellCommand(command="curl --form [email protected] --form project=kerberos --form password=$(cat $HOME/coverity-password) --form [email protected] http://scan5.coverity.com/cgi-bin/upload.py", description="uploading", descriptionDone="upload"))
+f3.addStep(ShellCommand(command="curl --include --form [email protected] --form project=kerberos --form password=$(cat $HOME/coverity-password) --form [email protected] https://scan5.coverity.com/cgi-bin/upload.py", description="uploading", descriptionDone="upload"))
 
 # The slave for the Coverity scan must have the cov-analysis binaries
 # installed in the slave's path and must have the build password in