Update section Eliom in eliom_monitor.ml