Gasification of a coal char by oxygen and carbon dioxide