Doc: fixes in Eliom_service API
Update some mini-howtos