Added the Travis badge.