added options to coveralls in .travis.yml