Replaced CircleCI badge with TravisCI badge