Updated the Travis.ci badge code