adds travis CI badge