High‐temperature char gasification of anthracite/petroleum coke: using biomass leachate as cheap‐effective additive