Update travis-ci badge to ettlims