[views] extend HTMLStream API to be able to change doctype / xmldecl
When generating RDFa (for instance), the doctype must be :
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML+RDFa 1.0//EN"
"http://www.w3.org/MarkUp/DTD/xhtml-rdfa-1.dtd">
This changeset adds a ``set_doctype()`` method on request objects to allow
such changes during page generation.
[system]
db-driver = postgres
db-host = localhost
db-port = 5433
adapter = native
db-name = cw_fti_test
db-encoding = UTF-8
db-user = syt
db-password = syt
[admin]
login = admin
password = gingkow