Travis CI added again.