add Travis CI status badge  #17