* commons/glimpse.ml: removed
* external/dependencies.txt: ptrees explanations
* commons/lib-sexp/: delete
* commons/lib-xml/: delete, and CEs
* external/jsonwheel/: move commons/lib-json/ in external/
CEs on commons/lib-json/ -> external/jsonwheel and also removed
some code that was using json