Also renumber the patches from 0-7 since any historical significance of the numbers is already gone from the spec file.
https://github.com/boostorg/interval/issues/29