Hidden type

Abstraction of request_info and response type to facilitate future changes to the interface exchanged by the server and its extensions. Now, Eliom-time ...