include build badge from Travis-CI