Widgets for client-server Web applications written with Ocsigen Eliom