added the Travis-CI banner