add Travis CI button to documentation