Add .travis.yml, travis/coverity badges