adding travis CI badge