Modify the way the wraping monad is used so that it compiles.

The wraping monad is now in a separated module. The Xml module contains
only the type 'a wrap. Functors in Html_f and Svg_f are specialized
accordingly. Each functor have a version partialy applied again the
empty monad.