* Initial version of a simple DocumentationProvider * Correct usage of DocumentationMarkup, fix quick navigation * Include Yann's suggestions. Not finished yet. * Fix issues Yann pointed out