include Travis-CI build badge