Patch for compatibility ocsigen/ocsigenserver@4d37bf6
Patch for compatibility with ocsigen/ocsigenserver@9665953
Merge branch 'master' of github.com:dinosaure/eliom into HEAD