Update Travis CI badge and tests