added badge from Travis CI