Updated build.xml
Update for Coverity scan automation via Travis CI