Use coverage and coveralls in travis