fix travis; add coveralls badge