Adds travis CI badge