md_main.ml: adding s-expression print when debug mode is activated
md_backend.ml: adding a s-expression printer