* web/dump_server.ml: yeah, I know how to use tyxml again