Added back the Travis CI badge. [ci skip]