Add tool for converting EXO data from latex to JSON