figures in docbook

[Jose Abilio Oliveira Matos]

Hi,
        new developments in docbook:

        * margin paragraphs
        * figure and table floats (*not yet tables*)
        * support for quotes (left and right, single and double)
        * figures are supported (*really*)
        * the pretty output is broken (that is secondary now, 
          I'll fix it later)

        Next step:
        * dvi and postscript preview (it is a matter to adjust 
          some options) -- easy
        * table support -- hard
  José

patch