Add a script to run Coverity.