updated travis CI config, coveralls config