Eliom_registration.Redirection.server(3o) on Linux

The text 0bd5115b6b0e, as Debian 7 (Wheezy) shipped it.

Eliom service registration for services that returns a redirections towards another service.