Improve documentation

• Add table of content in user documentation
• Add section in developer document to explain how select/organize pages displayed in the property view
• Remove URL to link to the Github commit (but keep the commit id)
• Integrate developer documentation in product