Improve documentation of Eliom_config