Widgets for client-server Web applications written with Eliom