* web/: update to eliom 3