Add a Travis-CI badge.

[ci skip]