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.