The universal Boolean inverse semigroup presented by the abstract Cuntz–Krieger relations