Add the badge provided by Travis-CI.