added badge for travis-ci build