Fix travisCI parameters and update coveralls badge.