Update TravisCI badge.