This is a first cut at scripts to run the Coverity Scan tool and upload the results (Coverity used to do this for us automatically; now we need to do it ourselves).
