server: log request/response settings are now stored in persistent map

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
server: remove all the old logging introspection code

We now rely on the persistent maps.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Add an .mli to module Logging_interface

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
server: add another .mli, delete more dead code

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #34 from djs55/irminsule

Persist the logging settings in the database