added a travis-ci build badge