Fix CI to detect duplicated numbers in ChangeLog
For instance:
1234. [xxx]
BlaBla
1234. [yyy]
Rewrote Kea into...
CI does not detect this but Jenkins tarball-internal does.
For instance:
1234. [xxx]
BlaBla
1234. [yyy]
Rewrote Kea into...
CI does not detect this but Jenkins tarball-internal does.