Master document name should be read from configuration

[kreuzberger]

The master_doc (or root_doc) name should be read from configuration and not be configure to "index.html", even if this is the default for the document name.