extra: Put the nail in the coffin, delete libextra#12896

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

alexcrichton:goodbye-extraalexcrichton/rust:goodbye-extraCopy head branch name to clipboard