Eliom_reference.Volatile.server(3o) on Linux

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

Same functions as in Eliom_reference but a non-Lwt interface for non-persistent Eliom references.