Added the Travis-CI badge.