add Travis-CI link to badge  #3