add scripts/coverity.bat