Added the Travis CI badge.