use volatile ref for flash messages

instead of standard non volatile eliom ref
remove warnings